Sciweavers

12452 search results - page 44 / 2491
» An exploration of program as language
Sort
View
PPDP
2001
Springer
15 years 2 months ago
Termination of Well-Typed Logic Programs
Annalisa Bossi, Nicoletta Cocco, Sabina Rossi