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

scientific article; zbMATH DE number 1163990

From MaRDI portal

Publication:4395617

Jump to:navigation, search

zbMath0903.03020MaRDI QIDQ4395617

Yiannis N. Moschovakis

Publication date: 14 December 1998

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

zbMATH Keywords

FLR completeness recursion decidability denotational semantics logic of programs equational proof system least-fixed-point interpretations

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Computable execution traces ⋮ Recursion and corecursion have the same equational logic ⋮ From Mathesis Universalis to Provability, Computability, and Constructivity ⋮ Fixpoint semantics and simulation

This page was built for publication:

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