Robert Knast

According to our database, Robert Knast authored at least 11 papers between 1969 and 1986.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1986

Graph Congruences and Pair Testing.

Janusz A. Brzozowski, Robert Knast

RAIRO Theor. Informatics Appl., 1986

1984

Propositional calculi of term satisfiability and process logics.

Robert Knast

Proceedings of the Computation Theory, 1984

1983

Some Theorems on Graph Congruences.

Robert Knast

RAIRO Theor. Informatics Appl., 1983

A Semigroup Characterization of Dot-Depth one Languages.

Robert Knast

RAIRO Theor. Informatics Appl., 1983

1978

The Dot-Depth Hierarchy of Star-Free Languages is Infinite.

Janusz A. Brzozowski, Robert Knast

J. Comput. Syst. Sci., 1978

1977

Reading Functions and an Extension of Kleene Theorem for some Families of Languages.

Robert Knast, Jacek Martinek

Proceedings of the Fundamentals of Computation Theory, 1977

1976

Semigroup Characterizations of Some Language Varieties.

Robert Knast

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1972

Finite-State Probabilistic Languages

Robert Knast

Inf. Control., September, 1972

1970

Representability of Nonregular Languages in Finite Probabilistic Automata

Robert Knast

Inf. Control., May, 1970

1969

Continuous-Time Probabilistic Automata

Robert Knast

Inf. Control., October, 1969

Linear Probabilistic Sequential Machines

Robert Knast

Inf. Control., August, 1969