Sciweavers

14 search results - page 1 / 3
» apal 1999
Sort
View
APAL
1999
62views more  APAL 1999»
14 years 10 months ago
Turning Cycles into Spirals
Alessandra Carbone
66
Voted
APAL
1999
50views more  APAL 1999»
14 years 10 months ago
Choiceless Polynomial Time
Andreas Blass, Yuri Gurevich, Saharon Shelah
APAL
1999
74views more  APAL 1999»
14 years 10 months ago
Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan
APAL
1999
55views more  APAL 1999»
14 years 10 months ago
Logic Programs, Well-Orderings, and Forward Chaining
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel