Sciweavers

31686 search results - page 176 / 6338
» Resource typing in Guru
Sort
View
50
Voted
AMC
2007
65views more  AMC 2007»
15 years 28 days ago
Convergence analysis of the secant type methods
Jinhai Chen, Zuhe Shen
COLING
2002
15 years 27 days ago
A Note on Typing Feature Structures
Shuly Wintner, Anoop Sarkar
COMBINATORICS
2002
58views more  COMBINATORICS 2002»
15 years 27 days ago
Triangle Free Sets and Arithmetic Progressions - Two Pisier Type Problems
Dennis Davenport, Neil Hindman, Dona Strauss
66
Voted
ENTCS
2000
52views more  ENTCS 2000»
15 years 27 days ago
Developing Theories of Types and Computability via Realizability
Lars Birkedal