scientific article; zbMATH DE number 2043548

MaRDI QIDQ4447252zbMATH OpenFDO

Authors John Glauert, Zurab Khasidashvili

Publication date 16 February 2004

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

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 176122
• Partial order reduction for rewriting semantics of programming languages
• Completeness and confluence of order-sorted term rewriting
• scientific article; zbMATH DE number 3995041
• A semantic approach to order-sorted rewriting
• A semantic approach to order-sorted rewriting
• REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY
• Disproving confluence of term rewriting systems by interpretation and ordering
• Order-Sorted Rewriting and Congruence Closure
• Higher-order rewrite systems and their confluence

Cited in

(3)

• The conflict-free reduction geometry
• The geometry of orthogonal reduction spaces
• scientific article; zbMATH DE number 1361485 (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 Q4447252)