13621 search results - page 49 / 2725 » Computability and Complexity in Self-assembly |
COMPGEOM
2010
ACM
14 years 3 months ago
2010
ACM
COSIT
2001
Springer
14 years 2 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...
ICALP
2001
Springer
14 years 2 months ago
2001
Springer
LICS
2000
IEEE
14 years 2 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...
HICSS
1998
IEEE
14 years 2 months ago
1998
IEEE
