Completeness of the Decreasing Diagrams Method for Proving Confluence of Rewriting Systems of the Least Uncountable Cardinality.

Ievgen Ivanov

Browse the full FSCD paper archive.