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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Κοσμαδάκης, Σταύρος (Συγγραφέας), ΦΟΥΣΤΟΥΚΟΥ, ΕΥΓΕΝΙΑ (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:Greek
Έκδοση: Patras - Hellas ΕΑΙΤΥ 2002
Θέματα:
LEADER 00982nam a2200229 u 4500
001 10106783
003 upatras
005 20210117204318.0
008 030127s gre
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
040 |a XX-XxUND  |c Βιβλιοθήκη ΕΑΙΤΥ 
245 1 0 |a Undecidability results concerning Datalog programms and their persistency numbers.  |b cti Technical Report No. TR 2002/12/03  |c Stavros Cosmadakis and Eugenie Foustoucos 
260 |a Patras - Hellas  |b ΕΑΙΤΥ  |c 2002 
650 4 |a ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ  |9 117807 
650 4 |a TECHNICAL REPORT  |9 117806 
650 4 |a cti tr 2002  |9 126613 
700 1 |a Κοσμαδάκης, Σταύρος  |4 aut  |9 125191 
700 1 |a ΦΟΥΣΤΟΥΚΟΥ, ΕΥΓΕΝΙΑ  |4 aut  |9 127247 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |t 1 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 141537  |a CEID  |b CEID  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24 
999 |c 92587  |d 92587