scientific article
From MaRDI portal
Publication:3204056
zbMath0716.68066MaRDI QIDQ3204056
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Conditional rewriting logic: Deduction, models and concurrency ⋮ Exception handling and term labelling ⋮ Bi-rewriting, a term rewriting technique for monotonic order relations ⋮ Order-Sorted Parameterization and Induction ⋮ On the Specification and Verification of Model Transformations ⋮ An Action Semantics Based on Two Combinators ⋮ Category-based modularisation for equational logic programming ⋮ Unified Algebras and action semantics ⋮ An introduction to category-based equational logic ⋮ A decade of TAPSOFT ⋮ Generated models and the ω-rule: The nondeterministic case ⋮ Dynamically-typed computations for order-sorted equational presentations ⋮ Specification and proof in membership equational logic ⋮ Rewriting extended regular expressions ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ R n - and G n -logics ⋮ Higher-order algebra with transfinite types ⋮ Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations ⋮ Interpretations of recursively defined types ⋮ Equational type logic ⋮ Relating CASL with other specification languages: the institution level. ⋮ Toward formal development of programs from algebraic specifications: Parameterisation revisited
Uses Software
