4 search results - page 1 / 1 » kgc 1997 |
KGC
1997
Springer
13 years 8 months ago
1997
Springer
KGC
1997
Springer
13 years 8 months ago
1997
Springer
KGC
1997
Springer
13 years 8 months ago
1997
Springer
The tree isomorphism problem is the problem of determining whether two trees are isomorphic. The tree canonization problem is the problem of producing a canonical tree isomorphic t...
KGC
1997
Springer
13 years 8 months ago
1997
Springer
Rice’s Theorem says that every nontrivial semantic property of programs is undecidable. In this spirit we show the following: Every nontrivial absolute (gap, relative) counting p...