Variant Narrowing and Equational Unification

Santiago Escobar, José Meseguer, Ralf Sasse. Variant Narrowing and Equational Unification. Electronic Notes in Theoretical Computer Science, 238(3):103-119, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.