scientific article; zbMATH DE number 2043535

zbMATH Open1038.68062MaRDI QIDQ4447239FDOQ4447239

Albert Rubio, Cristina Borralleras

Publication date: 16 February 2004

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (6)

• A fully syntactic AC-RPO.
• Path indexing for AC-theories
• A Monotonic Higher-Order Semantic Path Ordering
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modular and incremental proofs of AC-termination

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)