Sciweavers

29 search results - page 1 / 6
» ac 2002
Sort
View
72
Voted
AC
2002
Springer
14 years 10 months ago
Timed Verification of Asynchronous Circuits
Jesper B. Møller, Henrik Hulgaard, Henrik R...
68
Voted
AC
2002
Springer
14 years 10 months ago
Quantum computing and communication
Paul E. Black, D. Richard Kuhn, Carl J. Williams
90
Voted
ACS
2002
14 years 10 months ago
On a Generalization of the Stone-Weierstrass Theorem
Abstract. A categorical version of the famous theorem of Stone and Weierstrass is formulated and studied in detail. Several applications and examples are given.
Dirk Hofmann
73
Voted
ENTCS
2002
108views more  ENTCS 2002»
14 years 10 months ago
Rewriting in the partial algebra of typed terms modulo AC
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...
Thomas Colcombet