scientific article; zbMATH DE number 3784848
From MaRDI portal
Publication:3962973
Cited in
(40)- An order-sorted logic for knowledge representation systems
- On solving the equality problem in theories defined by Horn clauses
- Context induction: A proof principle for behavioural abstractions and algebraic implementations
- Order-sorted unification
- Semantics of order-sorted specifications
- Universal algebra in higher types
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- An algebraic semantics of higher-order types with subtypes
- Parametrization for order-sorted algebraic specification
- Observational implementation of algebraic specifications
- Equational completion in order-sorted algebras
- Kripke-style models for typed lambda calculus
- Algebraic specification of concurrent systems
- AC-unification race: The system solving approach, implementation and benchmarks
- A semi-algorithm for algebraic implementation proofs
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- On conservative extensions of syntax in system development
- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting.
- 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
- A systematic study of models of abstract data types
- Extensional models for polymorphism
- Logical debugging
- Higher-order order-sorted algebras
- Higher-order equational logic for specification, simulation and testing
- Completion for unification
- Crypt-equivalent algebraic specifications
- Rewriting with a nondeterministic choice operator
- Actors, actions, and initiative in normative system specification
- Structured algebraic specifications: A kernel language
- Generalized algebraic theories and contextual categories
- Structured theory presentations and logic representations
- Horn clause programs with polymorphic types: Semantics and resolution
- Formalization of universal algebra in Agda
- Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
- Inheritance hierarchies: Semantics and unifications
- Unification theory
- An improved general \(E\)-unification method
- Final algebras, cosemicomputable algebras and degrees of unsolvability
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)
