Data di Pubblicazione:
1987
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
E. Giovannetti; C. Moiso
Link alla scheda completa:
Titolo del libro:
Conditional Term Rewriting Systems
Pubblicato in: