Fingerprint
Dive into the research topics of 'Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus
Jeroen Ketema, Jakob Grue Simonsen