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

scientific article; zbMATH DE number 1223624

From MaRDI portal

Publication:4218935

Jump to:navigation, search

zbMath0910.03012MaRDI QIDQ4218935

Chrysafis Hartonas, Matthew C. B. Hennessy

Publication date: 14 February 1999

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

zbMATH Keywords

distributed systems operational semantics labelled transition system filters program logic processes prime algebraic lattice property logic for program expressions typed call-by-value \(\lambda\)-calculus

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

This page was built for publication:

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