论文信息 - A formal proof system for infinitary rational expressions - 字舞流文

A formal proof system for infinitary rational expressions

Philippe Darondeau | Laurent Kott | P. Darondeau | L. Kott

[1] Philippe Darondeau,et al. Towards a Formal Proof System for omega-Rational Expressions , 1984, Inf. Process. Lett..

[2] Hiroyuki Izumi,et al. A Complete Axiom System for Algebra of Closed-Regular Expression , 1984, ICALP.

[3] Philippe Darondeau,et al. On the Observational Semantics of Fair Parallelism , 1983, ICALP.

[4] Samuel Eilenberg,et al. Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[5] Robert McNaughton,et al. Testing and Generating Infinite Sequences by a Finite Automaton , 1966, Inf. Control..

[6] I. N. Sneddon,et al. Theory Of Automata , 1969 .