Undecidability results concerning Datalog programms and their persistency numbers. cti Technical Report No. TR 2002/12/03

Bibliographic Details
Main Authors: Κοσμαδάκης, Σταύρος (Author), ΦΟΥΣΤΟΥΚΟΥ, ΕΥΓΕΝΙΑ (Author)
Format: Book
Language:Greek
Published: Patras - Hellas ΕΑΙΤΥ 2002
Subjects:

Μηχανικών Η/Υ και Πληροφορικής: Unknown

Holdings details from Μηχανικών Η/Υ και Πληροφορικής: Unknown
Call Number: Unknown
Copy 1 Available