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

scientific article

From MaRDI portal

Publication:3128822

Jump to:navigation, search

zbMath0879.03001MaRDI QIDQ3128822

Publication date: 20 April 1997

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

zbMATH Keywords

Turing machines textbook automata logic programming logic computability lambda calculus languages algebraic structures program semantics discrete structures

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Theory of computing (68Qxx) General logic (03Bxx) Discrete mathematics in relation to computer science (68Rxx) Computability and recursion theory (03Dxx)

Related Items (1)

A completeness proof for a regular predicate logic with undefined truth value

This page was built for publication:

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