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

• Main Authors: Κοσμαδάκης, Σταύρος (Author), ΦΟΥΣΤΟΥΚΟΥ, ΕΥΓΕΝΙΑ (Author)
• Format: Book
• Language: Greek
• Published: Patras - Hellas ΕΑΙΤΥ 2002
• Subjects: ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ; TECHNICAL REPORT; cti tr 2002