scientific article; zbMATH DE number 4180819
From MaRDI portal
Publication:3204056
Recommendations
- Universal algebras
- Algebraic and logical aspects of unification
- A unified framework for notions of algebraic theory
- scientific article; zbMATH DE number 5526289
- On algebraic properties of universal algebras
- A classification of universal algebras
- An algebraic approach to unification under associativity and commutativity
- scientific article; zbMATH DE number 3930337
- Universal algebras, congruences and complete multialgebras
- scientific article; zbMATH DE number 4053010
Cited in
(26)- Conditional rewriting logic: Deduction, models and concurrency
- Equational type logic
- Interpretations of recursively defined types
- An introduction to category-based equational logic
- Category-based modularisation for equational logic programming
- Generated models and the \(\omega\)-rule: the nondeterministic case
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Unified algebras and action semantics
- R n - and G n -logics
- A Framework for Extended Algebraic Data Types
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Specification and proof in membership equational logic
- Dynamically-typed computations for order-sorted equational presentations
- On the Specification and Verification of Model Transformations
- Exception handling and term labelling
- Abstract constraint data types
- Algebraic and logical aspects of unification
- Order-Sorted Parameterization and Induction
- An Action Semantics Based on Two Combinators
- Conditional rewriting logic as a unified model of concurrency
- Bi-rewriting, a term rewriting technique for monotonic order relations
- Relating CASL with other specification languages: the institution level.
- scientific article; zbMATH DE number 1617307 (Why is no real title available?)
- A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
- Rewriting extended regular expressions
- Higher-order algebra with transfinite types
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 Q3204056)
