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
Fundamentals of Computation Theory - MaRDI portal

Fundamentals of Computation Theory

From MaRDI portal

Publication:5492941

Jump to:navigation, search

DOI10.1007/11537311zbMath1123.03010OpenAlexW2491671784MaRDI QIDQ5492941

Aleksy Schubert

Publication date: 20 October 2006

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)

Uses Software

HOL Light

This page was built for publication: Fundamentals of Computation Theory

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