scientific article; zbMATH DE number 177826

MaRDI QIDQ4038704zbMATH OpenFDO

Authors Jan Willem Klop

Publication date 18 May 1993

zbMATH Keywords

abstract reduction systemsChurch-Rossercombinatory logicconditional rewritingcritical pair completionequational logicKnuth-BendixnarrowingNewman's lemmaorthogonalityrepeated variablestermination

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 4090779
• scientific article; zbMATH DE number 1889386
• Rewriting
• scientific article; zbMATH DE number 1118018
• Term Rewriting and All That

Cited in

(31)

• Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages
• Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
• How to decide the lark
• Completeness results for basic narrowing
• Categorical abstract machines for higher-order typed -calculi
• On the descriptive power of term rewriting systems
• Bounded, strongly sequential and forward-branching term rewriting systems
• Category-based modularisation for equational logic programming
• From Hertzsprung's problem to pattern-rewriting systems
• On a term rewriting system controlled by sequences of integers
• Free Burnside Semigroups
• A learning algorithm for a subclass of tree rewriting systems
• Implementing term rewriting by jungle evaluation
• Learning of Church-Rosser tree rewriting systems
• Antimirov and Mosses’s Rewrite System Revisited
• scientific article; zbMATH DE number 3988695 (Why is no real title available?)
• scientific article; zbMATH DE number 4090779 (Why is no real title available?)
• scientific article; zbMATH DE number 4106267 (Why is no real title available?)
• scientific article; zbMATH DE number 64019 (Why is no real title available?)
• scientific article; zbMATH DE number 785049 (Why is no real title available?)
• scientific article; zbMATH DE number 1405634 (Why is no real title available?)
• Decidability of confluence and termination of monadic term rewriting systems
• An introduction to category-based equational logic
• A PVS theory for term rewriting systems
• Memory policy analysis for semantics specifications in Maude
• Collapsed tree rewriting: Completeness, confluence, and modularity
• A strategy to deal with divergent rewrite systems
• Implementing term rewriting by graph reduction: Termination of combined systems
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Term rewriting: Some experimental results
• Lambda calculus with patterns

Describes a project that uses

Uses Software

• Miranda

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 Q4038704)