Sciweavers

10585 search results - page 23 / 2117
» The Orc Programming Language
Sort
View
PPDP
2001
Springer
14 years 1 months ago
Termination of Well-Typed Logic Programs
Annalisa Bossi, Nicoletta Cocco, Sabina Rossi