scientific article
From MaRDI portal
Publication:3805891
zbMath0657.68028MaRDI QIDQ3805891
Jan A. Bergstra, Jan Willem Klop, Jos C. M. Baeten
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Trace rewriting systems, Equivalences of rewrite programs, Priority rewriting: Semantics, confluence, and conditionals, Negation with logical variables in conditional rewriting, Modular proofs for completeness of hierarchical term rewriting systems, Buchberger's algorithm: The term rewriter's point of view, Normalization results for typeable rewrite systems, Interaction nets and term-rewriting systems, Termination modulo equations by abstract commutation with an application to iteration, Sequentiality in orthogonal term rewriting systems, Modularity of simple termination of term rewriting systems with shared constructors, Constructor equivalent term rewriting systems, Termination of Priority Rewriting, Term-rewriting systems with rule priorities, Modular aspects of term graph rewriting, Semantics and strong sequentiality of priority term rewriting systems, Just-in-time, Descendants and origins in term rewriting., Lazy Context Cloning for Non-Deterministic Graph Rewriting, Comparison of priority rules in pattern matching and term rewriting, On Term-Graph Rewrite Strategies, Deductive and inductive synthesis of equational programs, Origin tracking
