scientific article; zbMATH DE number 1189288

zbMATH Open0945.03096MaRDI QIDQ3839062FDOQ3839062

Authors: Wiesław Pawłowski 

Publication date: 13 August 1998

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

categoryuniversal constructionscontext institutioncontext parchmentmodular construction of logics

Mathematics Subject Classification ID

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

Cited In (4)

• Institutions for OCL-like expression languages
• Title not available (Why is that?)
• Parchments for CafeOBJ logics
• Title not available (Why is that?)

This page was built for publication:

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