Jan Reiterman

18 papers B 5Journal 13
YearRankTypeTitle / Venue / Authors
1995 J jnl
Continuous Algebras Revisited.
J. Comput. Syst. Sci.
Jirí Adámek, Evelyn Nelson, Jan Reiterman
1994 J jnl
Banach's Fixed-Point Theorem as a base for data-type equations.
Appl. Categorical Struct.
Jirí Adámek, Jan Reiterman
1992 J jnl
On embedding of graphs into euclidean spaces of small dimension.
J. Comb. Theory B
Jan Reiterman, Vojtech Rödl, Edita Sinajová
1992 J jnl
Onw
Discret. Math.
A. Fedeli, Jan Reiterman, Anna Tozzi
1989 J jnl
A note on monotone paths in labeled graphs.
Comb.
Jan Reiterman
1989 J jnl
Embeddings of Graphs in Euclidean Spaces.
Discret. Comput. Geom.
Jan Reiterman, Vojtech Rödl, Edita Sinajová
1989 J jnl
Geometrical embeddings of graphs.
Discret. Math.
Jan Reiterman, Vojtech Rödl, Edita Sinajová
1988 J jnl
Embedding of trees in euclidean spaces.
Graphs Comb.
Hiroshi Maehara, Jan Reiterman, Vojtech Rödl, Edita Sinajová
1988 J jnl
On the logic of continuous algebras.
Notre Dame J. Formal Log.
Jirí Adámek, Alan H. Mekler, Evelyn Nelson, Jan Reiterman
1987 J jnl
Dynamic Algebras with Test.
J. Comput. Syst. Sci.
Vera Trnková, Jan Reiterman
1986 J jnl
Continuous Semilattices.
Theor. Comput. Sci.
Jirí Adámek, Jan Reiterman, Evelyn Nelson
1985 J jnl
Threshold hypergraphs.
Discret. Math.
Jan Reiterman, Vojtech Rödl, Edita Sinajová, Miroslav Tuma
1984 B conf
From Dynamic Algebras to Test Algebras.
MFCS
Jan Reiterman, Vera Trnková
1982 J jnl
Tree Constructions of Free Continuous Algebras.
J. Comput. Syst. Sci.
Jirí Adámek, Evelyn Nelson, Jan Reiterman
1981 B conf
On Representations of Dynamic Algebras with Reversion.
MFCS
Jan Reiterman, Vera Trnková
1980 B conf
Dynamic Algebras which are not Kripke Structures.
MFCS
Jan Reiterman, Vera Trnková
1977 B conf
A More Categorical Model of Universal Algebra.
FCT
Jan Reiterman
1975 B conf
Automata and Categories - Input Processes.
MFCS
Václav Koubek, Jan Reiterman