Sciweavers

24 search results - page 2 / 5
» slp 1997
Sort
View
67
Voted
SLP
1994
55views more  SLP 1994»
15 years 1 months ago
Localizations of Unification Freedom through Matching Directions
Massimo Marchiori
67
Voted
SLP
1994
68views more  SLP 1994»
15 years 1 months ago
A PROLOG Interpreter for First-Order Intuitionistic Logic
L. Thorne McCarty, Leon A. Shklar
62
Voted
SLP
1993
45views more  SLP 1993»
15 years 1 months ago
Order-Sorted Feature Theory Unification
Hassan Aït-Kaci, Andreas Podelski, Seth Copen...