Session GCR

More information about this formalization is available here.

View theory dependencies

Theories

Foundation

Ground Tree Transducers and RRn-relations

Ground Confluence Criterion

Implementation