- Suche

- Kontakt

Characterizing functions in Kleene algebra

J. Desharnais, B. Möller
erschienen 2000 J. Desharnais (ed.): RelMiCS 2000, 5th International Seminar on Relational Methods in Computer Science.
pp. 55-64, Université Laval, Québec, Canada, Jan. 2000.