scientific article; zbMATH DE number 2043518
From MaRDI portal
Publication:4447218
zbMath1038.68560MaRDI QIDQ4447218
Publication date: 16 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2706/27060014.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
Twenty years of rewriting logic ⋮ Nominal AC-matching ⋮ A modular order-sorted equational generalization algorithm ⋮ Exploring conditional rewriting logic computations ⋮ Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) ⋮ Strict coherence of conditional rewriting modulo axioms ⋮ Anti-patterns for rule-based languages ⋮ Variadic equational matching in associative and commutative theories ⋮ Backward Trace Slicing for Rewriting Logic Theories ⋮ A partial evaluation framework for order-sorted equational programs modulo axioms ⋮ Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms*
Uses Software
This page was built for publication:
