Kleene's theorem revisited

Authors:
Jacques Sakarovitch
Affiliations:
Univ. Paris VI, Paris, France
Venue:
Selected contributions on Trends, techniques, and problems in theoretical computer science. 4th International Meeting of Young Computer Scientists
Year:
1987

Kleene algebra with tests

ACM Transactions on Programming Languages and Systems (TOPLAS)
Forty years of formal power series in automata theory

A half-century of automata theory
On a valuation of rational subsets ofZk Dédié à Jean Berstel

Theoretical Computer Science
On the complexity of reasoning in Kleene algebra

Information and Computation - Special issue: LICS'97
Inductive *-semirings

Theoretical Computer Science - Words, languages and combinatorics
Weighted automata with discounting

Information Processing Letters

Hi-index	0.00