scientific article; zbMATH DE number 3784848
From MaRDI portal
Publication:3962973
Cited in
(41)- Kripke-style models for typed lambda calculus
- Higher-order equational logic for specification, simulation and testing
- 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
- Crypt-equivalent algebraic specifications
- Rewriting with a nondeterministic choice operator
- 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
- Forcing, transition algebras, and calculi
- 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 -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
- On conservative extensions of syntax in system development
- Higher-order order-sorted algebras
- On solving the equality problem in theories defined by Horn clauses
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)
