scientific article; zbMATH DE number 1988959

zbMATH Open1023.68630MaRDI QIDQ4430286FDOQ4430286

Authors: Joseph Goguen, José Meseguer 

Publication date: 20 October 2003

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (5)

• Kripke-style models for typed lambda calculus
• An order-sorted logic for knowledge representation systems
• Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
• Automatic synthesis of logical models for order-sorted first-order theories
• Relating CASL with other specification languages: the institution level.

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