Crypt-equivalent algebraic specifications
From MaRDI portal
Publication:1095646
DOI10.1007/BF02737100zbMath0632.68024MaRDI QIDQ1095646
Martin Wirsing, Friedrich L. Bauer
Publication date: 1988
Published in: Acta Informatica (Search for Journal in Brave)
predicate logic; positive definability; abstract semantic equivalence; crypt-equivalence; first- order models; implementation equivalence; inductive simulation equivalence; semantic analysis of algebraic specifications; term-generated models
68P05: Data structures
Related Items