Sciweavers

24 search results - page 2 / 5
» slp 1997
Sort
View
SLP
1994
68views more  SLP 1994»
15 years 3 months ago
A PROLOG Interpreter for First-Order Intuitionistic Logic
L. Thorne McCarty, Leon A. Shklar
74
Voted
SLP
1989
47views more  SLP 1989»
15 years 3 months ago
Determination of Variable Dependence Information through Abstract Interpretation
Kalyan Muthukumar, Manuel V. Hermenegildo
SLP
1993
45views more  SLP 1993»
15 years 3 months ago
Order-Sorted Feature Theory Unification
Hassan Aït-Kaci, Andreas Podelski, Seth Copen...