Sciweavers

29
Voted
JFLP
2000
30views more  JFLP 2000»
15 years 9 days ago
Stepwise Enhancement and Higher-Order Programming in Prolog
Lee Naish, Leon Sterling
JFLP
2000
30views more  JFLP 2000»
15 years 9 days ago
Metatheoretic Results for a Modal lambda-Calculus
Joëlle Despeyroux, Pierre Leleu
23
Voted
JFLP
2000
36views more  JFLP 2000»
15 years 9 days ago
Composing Complete and Partial Knowledge
Sofie Verbaeten, Annalisa Bossi