scientific article; zbMATH DE number 4219054

MaRDI QIDQ3365224zbMATH OpenFDO

Authors

Publication date 1999

zbMATH Keywords

Algebraic foundationsSystems specification

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(10)

• Swinging types=functions+relations+transition systems
• Maude: specification and programming in rewriting logic
• CASL: the Common Algebraic Specification Language.
• Observational logic, constructor-based logic, and their duality.
• scientific article; zbMATH DE number 1324839 (Why is no real title available?)
• scientific article; zbMATH DE number 1497880 (Why is no real title available?)
• Algebraic specifications for domain theory
• A Maude environment for CafeOBJ
• On the algebra of structured specifications
• CoFI with Don Sannella

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 Q3365224)