28888 search results - page 130 / 5778 » Computability and complexity in analysis |
COMPGEOM
2010
ACM
14 years 1 months ago
2010
ACM
COSIT
2001
Springer
14 years 18 days 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...
ICALP
2001
Springer
14 years 17 days ago
2001
Springer
LICS
2000
IEEE
14 years 14 days 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...
HICSS
1998
IEEE
14 years 11 days ago
1998
IEEE
