Is Observational Congruence on µ-Expressions Axiomatisable in Equational Horn Logic? (2007)

by Michael Mendler , Gerald Lüttgen
Citations:1 - 1 self