Undecidability results concerning Datalog programms and their persistency numbers. cti Technical Report No. TR 2002/12/03 Stavros Cosmadakis and Eugenie Foustoucos
Τύπος υλικού:
ΚείμενοΛεπτομέρειες δημοσίευσης: Patras - Hellas ΕΑΙΤΥ 2002Θέμα(τα):
| Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
|---|---|---|---|---|---|---|
| Μηχανικών Η/Υ και Πληροφορικής | 1 | Διαθέσιμο |
