505 search results - page 20 / 101 » FACETS |
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
CSFW
1998
IEEE
13 years 11 months ago
1998
IEEE
INFOVIS
1998
IEEE
13 years 11 months ago
1998
IEEE
APWEB
2009
Springer
13 years 10 months ago
2009
Springer
CIE
2008
Springer
13 years 9 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...