Robert Knast

11 papers B 2Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
1986 J jnl
Graph Congruences and Pair Testing.
RAIRO Theor. Informatics Appl.
Janusz A. Brzozowski, Robert Knast
1984 — conf
Propositional calculi of term satisfiability and process logics.
Symposium on Computation Theory
Robert Knast
1983 J jnl
A Semigroup Characterization of Dot-Depth one Languages.
RAIRO Theor. Informatics Appl.
Robert Knast
1983 J jnl
Some Theorems on Graph Congruences.
RAIRO Theor. Informatics Appl.
Robert Knast
1978 J jnl
The Dot-Depth Hierarchy of Star-Free Languages is Infinite.
J. Comput. Syst. Sci.
Janusz A. Brzozowski, Robert Knast
1977 B conf
Reading Functions and an Extension of Kleene Theorem for some Families of Languages.
FCT
Robert Knast, Jacek Martinek
1976 B conf
Semigroup Characterizations of Some Language Varieties.
MFCS
Robert Knast
1972 J jnl
Finite-State Probabilistic Languages
Inf. Control.
Robert Knast
1970 J jnl
Representability of Nonregular Languages in Finite Probabilistic Automata
Inf. Control.
Robert Knast
1969 J jnl
Continuous-Time Probabilistic Automata
Inf. Control.
Robert Knast
1969 J jnl
Linear Probabilistic Sequential Machines
Inf. Control.
Robert Knast