2 results
How to realize a given number of tangents to four unit balls in ℝ3
- Part of
-
- Journal:
- Mathematika / Volume 48 / Issue 1-2 / December 2001
- Published online by Cambridge University Press:
- 26 February 2010, pp. 51-62
- Print publication:
- December 2001
-
- Article
- Export citation
On the Influence of the State Encoding on OBDD-Representations of Finite State Machines
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 21-31
- Print publication:
- January 1999
-
- Article
- Export citation