16666 search results - page 66 / 3334 » Descriptive and Computational Complexity |
109
Voted
EAGC
2004
Springer
15 years 7 months ago
2004
Springer
113
Voted
AML
2008
15 years 3 months ago
2008
A new approach to defining complexity of propositional formulas and proofs is suggested. Instead of measuring the size of these syntactical structures in the propositional languag...
84
Voted
ASM
2003
ASM
15 years 9 months ago
2003
ASM
ICSOC
2003
Springer
15 years 8 months ago
2003
Springer
87
Voted
WSC
2004
15 years 5 months ago
2004
This paper describes the author's career leading up to the publication of his 1969 paper Digital Computer Simulation: Computer Programming Languages, how it influenced the pa...