scientific article; zbMATH DE number 1988959
From MaRDI portal
zbMath1023.68630MaRDI QIDQ4430286
Joseph A. Goguen, José Meseguer
Publication date: 20 October 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Automatic synthesis of logical models for order-sorted first-order theories, Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets, An order-sorted logic for knowledge representation systems, Relating CASL with other specification languages: the institution level., Kripke-style models for typed lambda calculus
