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
Logic Programming - MaRDI portal

Logic Programming

From MaRDI portal

Publication:4023589

Jump to:navigation, search

DOI10.1017/CBO9780511526534zbMath0758.68013OpenAlexW1506233153MaRDI QIDQ4023589

James Andrews

Publication date: 23 January 1993

Full work available at URL: https://doi.org/10.1017/cbo9780511526534

zbMATH Keywords

rewriting system logic programs without negation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)

Related Items (1)

A logical semantics for depth-first Prolog with ground negation

This page was built for publication: Logic Programming

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