Publication:3690194
From MaRDI portal
zbMath0572.68008MaRDI QIDQ3690194
Richard Waldinger, Zohar Manna
Publication date: 1985
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
68Q65: Abstract data types; algebraic specification
03B10: Classical first-order logic
03B05: Classical propositional logic
68P05: Data structures
Related Items
NOTION OF FUZZY IC-BAGS, Synthesis and equivalence of concurrent systems, The power of temporal proofs, Bubbles in modularity, Fuzzy shadows, Constructing specification morphisms, Sequential and data flow models of processing, Proximity measures for terms based on fuzzy neighborhoods in document sets., Proof by analogy in mural, Productive use of failure in inductive proof, Generalizations of multisets and rough approximations