Sciweavers

4 search results - page 1 / 1
» jflp 2000
Sort
View
25
Voted
JFLP
2000
36views more  JFLP 2000»
15 years 1 months ago
Composing Complete and Partial Knowledge
Sofie Verbaeten, Annalisa Bossi
23
Voted
JFLP
2000
30views more  JFLP 2000»
15 years 1 months ago
Metatheoretic Results for a Modal lambda-Calculus
Joëlle Despeyroux, Pierre Leleu
30
Voted
JFLP
2000
30views more  JFLP 2000»
15 years 1 months ago
Stepwise Enhancement and Higher-Order Programming in Prolog
Lee Naish, Leon Sterling