scientific article; zbMATH DE number 4180819
From MaRDI portal
Publication:3204056
zbMATH Open0716.68066MaRDI QIDQ3204056FDOQ3204056
Authors: Peter D. Mosses 
Publication date: 1989
Title of this publication is not available (Why is that?)
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)
- 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
- Bi-rewriting, a term rewriting technique for monotonic order relations
- Conditional rewriting logic as a unified model of concurrency
- Relating CASL with other specification languages: the institution level.
- Title not available (Why is that?)
- A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
- Conditional rewriting logic: Deduction, models and concurrency
- Higher-order algebra with transfinite types
- Rewriting extended regular expressions
- Equational type logic
Uses Software
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)
