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
scientific article; zbMATH DE number 512882 - MaRDI portal

scientific article; zbMATH DE number 512882

From MaRDI portal

Publication:4281583

Jump to:navigation, search

zbMath0791.68019MaRDI QIDQ4281583

Michael Hanus, Berthold Josephs

Publication date: 10 March 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semantics debugging functional logic language ALF

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

An integrated framework for the diagnosis and correction of rule-based programs ⋮ Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424.

This page was built for publication:

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