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
Computer Science Logic - MaRDI portal

Computer Science Logic

From MaRDI portal

Publication:5292658

Jump to:navigation, search

DOI10.1007/B13224zbMath1116.03319OpenAlexW2623947920MaRDI QIDQ5292658

Bernhard Reus

Publication date: 21 June 2007

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

A domain-theoretic model of nominally-typed object-oriented programming ⋮ Towards imperative modules: reasoning about invariants and sharing of mutable state ⋮ Semantics and logic of object calculi

This page was built for publication: Computer Science Logic

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