Sciweavers

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