A Completeness Result for E-unification Algorithms Based on Conditional Narrowing
Contributo in Atti di convegno
Data di Pubblicazione:
1986
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
E. Giovannetti; C. Moiso
Link alla scheda completa:
Titolo del libro:
Foundations of Logic and Functional Programming
Pubblicato in: