Sciweavers

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