Sciweavers

51 search results - page 2 / 11
» birthday 2004
Sort
View
61
Voted
BIRTHDAY
2004
Springer
15 years 5 months ago
Mathematical Proofs at a Crossroad?
Cristian Calude, Solomon Marcus
60
Voted
BIRTHDAY
2004
Springer
15 years 5 months ago
Towards the Verifying Compiler
C. A. R. Hoare
55
Voted
BIRTHDAY
2004
Springer
15 years 5 months ago
Rectangles and Squares Recognized by Two-Dimensional Automata
Jarkko Kari, Cristopher Moore