Publication
-
January 2005
-
January 2005
-
Zero, Sucessor and Equality in BDDs Article
Annals of Pure and Applied Logic, 101-123.January 2005
-
January 2005
-
On a model of sequential point patterns Tech Report
January 2005
-
Nonlinear asymptotic stability of the semi-strong pulse dynamics in a regularized Gierer-Meinhardt model Tech Report
January 2005
-
Closure properties of coalgebra automata In Proceedings
January 2005 -
January 2005