IRIS

Indexed Categories and Bottom-Up Semantics of Logic Programs

AMATO, Gianluca;
2001-01-01
2001
LECTURE NOTES IN COMPUTER SCIENCE
Inglese
2250
438
454
17
R. Nieuwenhuis and A. Voronkov editors, Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings.
2-s2.0-84922311515
2
info:eu-repo/semantics/article
262
Amato, Gianluca; James, Lipton
1 Contributo su Rivista::1.1 Articolo in rivista
none
1.1 Articolo in rivista
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/11564/111245
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact