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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Κοσμαδάκης, Σταύρος (Συγγραφέας), ΦΟΥΣΤΟΥΚΟΥ, ΕΥΓΕΝΙΑ (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Patras - Hellas ΕΑΙΤΥ 2002
Θέματα:	ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ TECHNICAL REPORT cti tr 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

Παρόμοια τεκμήρια