Statistics
Publications
5
Citations
334
H-Index
5
Active since
1969
Affiliations
Robert Knast is an author at Polish Academy of Sciences specializing in automated reasoning, engineering, and formal methods.
Publications per year
1969–1983
5
5
A semigroup characterization of dot-depth one languages
Robert Knast · RAIRO Informatique théorique · 1983 · 101 citations · Full text
Some theorems on graph congruences
Robert Knast · RAIRO Informatique théorique · 1983 · 56 citations · Full text
Finite-state probabilistic languages
Robert Knast · Information and Control · 1972 · 12 citations
1–5 of 5