Sciweavers

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