Robert Knast

Publication Activity (10 Years)

Years Active: 1969-1986
Publications (10 Years): 0

Publications

Janusz A. Brzozowski, Robert Knast
Graph Congruences and Pair Testing. RAIRO Theor. Informatics Appl. 20 (2) (1986)
Robert Knast
Propositional calculi of term satisfiability and process logics. Symposium on Computation Theory (1984)
Robert Knast
Some Theorems on Graph Congruences. RAIRO Theor. Informatics Appl. 17 (4) (1983)
Robert Knast
A Semigroup Characterization of Dot-Depth one Languages. RAIRO Theor. Informatics Appl. 17 (4) (1983)
Janusz A. Brzozowski, Robert Knast
The Dot-Depth Hierarchy of Star-Free Languages is Infinite. J. Comput. Syst. Sci. 16 (1) (1978)
Robert Knast, Jacek Martinek
Reading Functions and an Extension of Kleene Theorem for some Families of Languages. FCT (1977)
Robert Knast
Semigroup Characterizations of Some Language Varieties. MFCS (1976)
Robert Knast
Finite-State Probabilistic Languages Inf. Control. 21 (2) (1972)
Robert Knast
Representability of Nonregular Languages in Finite Probabilistic Automata Inf. Control. 16 (3) (1970)
Robert Knast
Linear Probabilistic Sequential Machines Inf. Control. 15 (2) (1969)
Robert Knast
Continuous-Time Probabilistic Automata Inf. Control. 15 (4) (1969)