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
Equivalent logic programs - MaRDI portal

Equivalent logic programs

From MaRDI portal

Publication:3198864

Jump to:navigation, search

DOI10.1016/0743-1066(90)90022-WzbMath0713.68014MaRDI QIDQ3198864

Kwok Hung Chan

Publication date: 1990

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

logic programming equality logic logic program equivalence

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Proof methods of declarative properties of definite programs

This page was built for publication: Equivalent logic programs

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