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 1140686 - MaRDI portal

scientific article; zbMATH DE number 1140686

From MaRDI portal

Publication:4385454

Jump to:navigation, search

zbMath0893.03002MaRDI QIDQ4385454

John N. Crossley, Luis Mandel, Martin Wirsing

Publication date: 20 July 1998

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

zbMATH Keywords

constraints denotational semantics lambda calculus constraint programming Church-Rosser property existential quantifiers

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

This page was built for publication:

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