scientific article; zbMATH DE number 3784848
From MaRDI portal
Publication:3962973
zbMATH Open0498.03018MaRDI QIDQ3962973FDOQ3962973
Authors: Joseph Goguen, José Meseguer 
Publication date: 1982
Title of this publication is not available (Why is that?)
Data structures (68P05) Structure theory of algebraic structures (08A05) Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Foundations, relations to logic and deductive systems (18A15)
Cited In (40)
- Kripke-style models for typed lambda calculus
- An order-sorted logic for knowledge representation systems
- Crypt-equivalent algebraic specifications
- Rewriting with a nondeterministic choice operator
- Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- Formalization of universal algebra in Agda
- Universal algebra in higher types
- Horn clause programs with polymorphic types: Semantics and resolution
- Final algebras, cosemicomputable algebras and degrees of unsolvability
- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting.
- Extensional models for polymorphism
- Structured algebraic specifications: A kernel language
- Order-sorted unification
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Generalized algebraic theories and contextual categories
- Inheritance hierarchies: Semantics and unifications
- Unification theory
- An algebraic semantics of higher-order types with subtypes
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Completion for unification
- An improved general \(E\)-unification method
- Logical debugging
- Context induction: A proof principle for behavioural abstractions and algebraic implementations
- Parametrization for order-sorted algebraic specification
- Observational implementation of algebraic specifications
- Equational completion in order-sorted algebras
- Algebraic specification of concurrent systems
- Semantics of order-sorted specifications
- Actors, actions, and initiative in normative system specification
- AC-unification race: The system solving approach, implementation and benchmarks
- A semi-algorithm for algebraic implementation proofs
- Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus
- A completeness theorem for the expressive power of higher-order algebraic specifications
- Structured theory presentations and logic representations
- A systematic study of models of abstract data types
- Higher-order order-sorted algebras
- On conservative extensions of syntax in system development
- On solving the equality problem in theories defined by Horn clauses
- Higher-order equational logic for specification, simulation and testing
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 Q3962973)
