Abstract Rewriting

MaRDI QIDQ7361362FDO

Authors Christian Sternagel, René Thiemann

Publication date 14 June 2010

Cites work

• Certification of Termination Proofs Using CeTA
• Term Rewriting and All That

Cited in

(12)

• Completeness of Decreasing Diagrams for the Least Uncountable Cardinality
• Decreasing Diagrams
• Polynomial Factorization
• The Myhill-Nerode Theorem Based on Regular Expressions
• Minsky Machines
• Executable Matrix Operations on Matrices of Arbitrary Dimensions
• Linear Resources and Process Compositions
• The Z Property
• Decreasing Diagrams II
• Executable Multivariate Polynomials
• Well-Quasi-Orders
• First-Order Terms

This page was built for software: Abstract Rewriting