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

scientific article; zbMATH DE number 3628378

From MaRDI portal

Publication:4190132

Jump to:navigation, search

zbMath0404.68042MaRDI QIDQ4190132

Peter Ecsedi-Toth

Publication date: 1978

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

zbMATH Keywords

Semantics Programming Language Formal System Intensional Logic of Actions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other nonclassical logic (03B60) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (1)

A complete logic for reasoning about programs via nonstandard model theory. II

This page was built for publication:

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