Jan Reiterman - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

1995

Continuous Algebras RevisitedJirí Adámek, Evelyn Nelson, Jan Reiterman. jcss, 51(3):460-471, 1995.

1994

Banach's Fixed-Point Theorem as a base for data-type equationsJirí Adámek, Jan Reiterman. acs, 2(1):77-90, 1994. [doi]

1992

Onw::alpha::-compactnessA. Fedeli, Jan Reiterman, A. Tozzi. DM, 108(1-3):13-23, 1992. [doi]

On embedding of graphs into euclidean spaces of small dimensionJan Reiterman, Vojtech Rödl, Edita Sinajová. JCT, 56(1):1-8, 1992. [doi]

1989

A note on monotone paths in labeled graphsJan Reiterman. combinatorica, 9(2):231-232, 1989.

Embeddings of Graphs in Euclidean SpacesJan Reiterman, Vojtech Rödl, Edita Sinajová. dcg, 4:349-364, 1989.

Geometrical embeddings of graphsJan Reiterman, Vojtech Rödl, Edita Sinajová. DM, 74(3):291-319, 1989. [doi]

1988

On the logic of continuous algebrasJirí Adámek, Alan H. Mekler, Evelyn Nelson, Jan Reiterman. ndjfl, 29(3):365-380, 1988. [doi]

Embedding of trees in euclidean spacesHiroshi Maehara, Jan Reiterman, Vojtech Rödl, Edita Sinajová. gc, 4(1):43-47, 1988. [doi]

1987

Dynamic Algebras with TestVera Trnková, Jan Reiterman. jcss, 35(2):229-242, 1987.

1986

Continuous SemilatticesJirí Adámek, Jan Reiterman, Evelyn Nelson. TCS, 43:293-313, 1986.

1985

Threshold hypergraphsJan Reiterman, Vojtech Rödl, Edita Sinajová, Miroslav Tuma. DM, 54(2):193-200, 1985. [doi]

1984

From Dynamic Algebras to Test AlgebrasJan Reiterman, Vera Trnková. mfcs 1984: 490-497

1982

Tree Constructions of Free Continuous AlgebrasJirí Adámek, Evelyn Nelson, Jan Reiterman. jcss, 24(1):114-146, 1982.

1981

On Representations of Dynamic Algebras with ReversionJan Reiterman, Vera Trnková. mfcs 1981: 463-472

1980

Dynamic Algebras which are not Kripke StructuresJan Reiterman, Vera Trnková. mfcs 1980: 528-538

1977

A More Categorical Model of Universal AlgebraJan Reiterman. fct 1977: 308-313

1975

Automata and Categories - Input ProcessesVáclav Koubek, Jan Reiterman. mfcs 1975: 280-286

Sign in or sign up to see more results.

runs on WebDSL