Axiomatic Rewriting Theory I - A Diagrammatic Standardization Theorem (2001)

by Paul-Andre Mellies , Equipe Preuves
Citations:4 - 0 self