
[ACM Press the tenth ACM SIGACT-SIGMOD-SIGART symposium - Denver, Colorado, United States (1991.05.29-1991.05.31)] Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '91 - Termination detection in logic programs using argument sizes (extended abstract)
Sohn, Kirack, Van Gelder, AllenAnnée:
1991
Langue:
english
DOI:
10.1145/113413.113433
Fichier:
PDF, 945 KB
english, 1991