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
On the Fixpoint Theory of Equality and Its Applications - MaRDI portal

On the Fixpoint Theory of Equality and Its Applications

From MaRDI portal

Publication:5459195

Jump to:navigation, search

DOI10.1007/11828563_26zbMath1134.03316OpenAlexW1770904122MaRDI QIDQ5459195

Andrzej Szałas, Jerzy Tyszkiewicz

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://doi.org/10.1007/11828563_26

Mathematics Subject Classification ID

Database theory (68P15) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Voting by eliminating quantifiers

This page was built for publication: On the Fixpoint Theory of Equality and Its Applications

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