Sciweavers

10666 search results - page 28 / 2134
» Quantum programming languages
Sort
View
PPDP
2001
Springer
15 years 6 months ago
Termination of Well-Typed Logic Programs
Annalisa Bossi, Nicoletta Cocco, Sabina Rossi