Context parchments

DOI10.1007/3-540-64299-4_46MaRDI QIDQ3839062zbMATH OpenFDO

Authors Wiesław Pawłowski

Publication date 13 August 1998

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

Full work available at URL https://doi.org/10.1007/3-540-64299-4_46

zbMATH Keywords

categorycontext institutioncontext parchmentmodular construction of logicsuniversal constructions

Mathematics Subject Classification ID

Abstract model theory (03C95) Categorical logic, topoi (03G30) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Parchments for CafeOBJ logics
• Correspondence scrolls
• scientific article; zbMATH DE number 3847339
• The found manuscript
• SCROLLS AND HYPERBOLICITY
• scientific article; zbMATH DE number 1777497
• scientific article; zbMATH DE number 770145
• scientific article; zbMATH DE number 2079666

Cited in

(4)

• Combining and representing logical systems using model-theoretic parchments
• scientific article; zbMATH DE number 2079676 (Why is no real title available?)
• Institutions for OCL-like expression languages
• Parchments for CafeOBJ logics

This page was built for publication: Context parchments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3839062)