Jan Reiterman

According to our database1, Jan Reiterman authored at least 18 papers between 1975 and 1995.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1995
Continuous Algebras Revisited.
J. Comput. Syst. Sci., 1995

1994
Banach's Fixed-Point Theorem as a base for data-type equations.
Appl. Categorical Struct., 1994

1992
On embedding of graphs into euclidean spaces of small dimension.
J. Comb. Theory, Ser. B, 1992

Onw<sub>alpha</sub>-compactness.
Discret. Math., 1992

1989
Geometrical embeddings of graphs.
Discret. Math., 1989

Embeddings of Graphs in Euclidean Spaces.
Discret. Comput. Geom., 1989

A note on monotone paths in labeled graphs.
Comb., 1989

1988
On the logic of continuous algebras.
Notre Dame J. Formal Log., 1988

Embedding of trees in euclidean spaces.
Graphs Comb., 1988

1987
Dynamic Algebras with Test.
J. Comput. Syst. Sci., 1987

1986
Continuous Semilattices.
Theor. Comput. Sci., 1986

1985
Threshold hypergraphs.
Discret. Math., 1985

1984
From Dynamic Algebras to Test Algebras.
Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1982
Tree Constructions of Free Continuous Algebras.
J. Comput. Syst. Sci., 1982

1981
On Representations of Dynamic Algebras with Reversion.
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

1980
Dynamic Algebras which are not Kripke Structures.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1977
A More Categorical Model of Universal Algebra.
Proceedings of the Fundamentals of Computation Theory, 1977

1975
Automata and Categories - Input Processes.
Proceedings of the Mathematical Foundations of Computer Science 1975, 1975


  Loading...