357 search results - page 1 / 72 » Isomorphism via translation |
AIML
2006
14 years 18 days ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...
MOC
1998
13 years 11 months ago
1998
Using isomorphism invariants, we enumerate the translation planes of order 49 and determine their automorphism groups.
ACL
2003
14 years 17 days ago
2003
AMAI
2004
Springer
14 years 4 months ago
2004
Springer
In this paper the use of graph isomorphism is investigated within the framework of symmetry breaking in constraint satisfaction problems. A running example of Comma-free codes is ...
STACS
1993
Springer
14 years 3 months ago
1993
Springer
We show that for most complexity classes of interest, all sets complete under rstorder projections (fops) are isomorphic under rst-order isomorphisms. That is, a very restricted v...