Models for the substitution axiom of UNITY logic
From MaRDI portal
Publication:1313738
DOI10.1016/0020-0190(93)90141-UzbMath0787.68015WikidataQ114685333 ScholiaQ114685333MaRDI QIDQ1313738
Georg Reichwein, José Luiz Fiadeiro
Publication date: 24 February 1994
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(93)90141-u
68N15: Theory of programming languages
68Q60: Specification and verification (program logics, model checking, etc.)
68W15: Distributed algorithms
Related Items
Uses Software
Cites Work