Fingeraftryk
Dyk ned i forskningsemnerne om 'Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus
Jeroen Ketema, Jakob Grue Simonsen