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:5475784

Jump to:navigation, search

DOI10.1007/11562931zbMath1165.68332OpenAlexW2104948204MaRDI QIDQ5475784

John P. Gallagher, Gourinath Banda, Kim S. Henriksen

Publication date: 27 June 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11562931

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Analysis of Linear Hybrid Systems in CLP

This page was built for publication: Logic Programming

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