Sciweavers

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