scientific article; zbMATH DE number 2043535

MaRDI QIDQ4447239zbMATH OpenFDO

Authors Cristina Borralleras, Albert Rubio

Publication date 16 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2706/27060279.htm

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1614707
• A Monotonic Higher-Order Semantic Path Ordering
• A precedence-based total AC-compatible ordering
• Path indexing for AC-theories
• scientific article; zbMATH DE number 3921960
• A path ordering for proving termination of AC rewrite systems
• Acyclic orientations and monotonicity in graphs
• A partial ordering semantics for CCS
• A semantic approach to order-sorted rewriting

Cited in

(6)

• A fully syntactic AC-RPO.
• Modular and incremental proofs of AC-termination
• scientific article; zbMATH DE number 1614707 (Why is no real title available?)
• A Monotonic Higher-Order Semantic Path Ordering
• Path indexing for AC-theories
• scientific article; zbMATH DE number 1405623 (Why is no real title available?)

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