Sciweavers

24 search results - page 2 / 5
» slp 1997
Sort
View
SLP
1994
68views more  SLP 1994»
13 years 6 months ago
A PROLOG Interpreter for First-Order Intuitionistic Logic
L. Thorne McCarty, Leon A. Shklar
SLP
1993
45views more  SLP 1993»
13 years 6 months ago
Order-Sorted Feature Theory Unification
Hassan Aït-Kaci, Andreas Podelski, Seth Copen...