Indexed Categories and Bottom-Up Semantics of Logic Programs

Articolo
Data di Pubblicazione:
2001
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Amato, Gianluca; James, Lipton
Autori di Ateneo:
AMATO Gianluca
Link alla scheda completa:
https://ricerca.unich.it/handle/11564/111245
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series