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
Decidability of logic program semantics and applications to testing - MaRDI portal

Decidability of logic program semantics and applications to testing

From MaRDI portal

Publication:4520178

Jump to:navigation, search

DOI10.1016/S0743-1066(99)00067-9zbMath0965.68051WikidataQ126311212 ScholiaQ126311212MaRDI QIDQ4520178

Salvatore Ruggieri

Publication date: 5 March 2001

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

zbMATH Keywords

decidability testing problem

Mathematics Subject Classification ID

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

This page was built for publication: Decidability of logic program semantics and applications to testing

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