ARCELLI FONTANA, F., Formato, F. (1995). An Approach to Higher-Order Term-Rewriting Using lambda-Prolog. In Proceedings of the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting.

An Approach to Higher-Order Term-Rewriting Using lambda-Prolog

ARCELLI FONTANA, FRANCESCA;
1995

paper
program transformation; term rewriting systems; higher order logic programming;
English
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
ARCELLI FONTANA, F., Formato, F. (1995). An Approach to Higher-Order Term-Rewriting Using lambda-Prolog. In Proceedings of the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting.
ARCELLI FONTANA, F; Formato, F
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/38940
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact