16666 search results - page 110 / 3334 » Descriptive and Computational Complexity |
135
Voted
COSIT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
114
Voted
ICALP
2001
Springer
15 years 8 months ago
2001
Springer
176
Voted
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...
95
Voted
HICSS
1998
IEEE
15 years 8 months ago
1998
IEEE
116
Voted
COCOON
1997
Springer
15 years 8 months ago
1997
Springer
