Indexed Categories and Bottom-Up Semantics of Logic Programs

Academic Article

Publication Date:

2001

Iris type:

1.1 Articolo in rivista

List of contributors:

Amato, Gianluca; James, Lipton

Authors of the University:

AMATO Gianluca

Handle:

https://ricerca.unich.it/handle/11564/111245

Published in:

LECTURE NOTES IN COMPUTER SCIENCE

Journal

LECTURE NOTES IN COMPUTER SCIENCE

Series