The relative complement problem for higher-order patterns / A. Momigliano, F. Pfenning - In: Proceedings of the 1999 international conference on Logic programmingCambridge, MA, USA : Massachusetts Institute of Technology, 1999. - ISBN 0-262-54104-1. - pp. 381-394 (( convegno 1999 international conference on Logic programming.

The relative complement problem for higher-order patterns

A. Momigliano
Primo
;
1999

Settore MAT/01 - Logica Matematica
Settore INF/01 - Informatica
1999
Book Part (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

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/2434/212768
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 0
social impact