Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
An Axiomatization of Arrays for Kleene Algebra with Tests - MaRDI portal

An Axiomatization of Arrays for Kleene Algebra with Tests

From MaRDI portal

Publication:5459173

Jump to:navigation, search

DOI10.1007/11828563_4zbMath1134.68392OpenAlexW1569778522MaRDI QIDQ5459173

Kamal Aboul-Hosn

Publication date: 24 April 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/1813/5729

Mathematics Subject Classification ID

Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: An Axiomatization of Arrays for Kleene Algebra with Tests

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5459173&oldid=20233445"