Undecidability results concerning Datalog programms and their persistency numbers. cti Technical Report No. TR 2002/12/03
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | Greek |
| Published: |
Patras - Hellas
ΕΑΙΤΥ
2002
|
| Subjects: |
