Sciweavers

72 search results - page 1 / 15
» cai 2009
Sort
View
104
Voted
CAI
2009
Springer
15 years 8 months ago
Canonical Reduction Systems in Symbolic Mathematics
Franz Winkler
101
Voted
CAI
2009
Springer
15 years 10 months ago
On Several Proofs of the Recognizability Theorem
Bruno Courcelle