Sciweavers

13603 search results - page 38 / 2721
» On the Computational Complexity of Cut-Reduction
Sort
View
127
Voted
BIRTHDAY
2006
Springer
15 years 9 months ago
Elementary Algebraic Specifications of the Rational Complex Numbers
Jan A. Bergstra, John V. Tucker