Completeness of Global Evaluation Logic
From MaRDI portal
Publication:5756704
DOI10.1007/11821069_39zbMath1132.68328OpenAlexW1522007500MaRDI QIDQ5756704
Till Mossakowski, Lutz Schröder, Sergei S. Goncharov
Publication date: 5 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11821069_39
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
A generic complete dynamic logic for reasoning about purity and effects ⋮ HasCasl: integrated higher-order specification and program development
This page was built for publication: Completeness of Global Evaluation Logic
