|
|||||
|
|
Towards a formal proof system for ω-rational expressions |
|
| Authors: | Ph. Darondeau L. Kott |
| Affiliation: | CNRS, IRISA, Université Rennes I, F-35042 Rennes Cédex, France |
| Abstract: | |
| Keywords: | ω-rational languages ω-rational expressions equivalence proof formal system |
| 本文献已被 ScienceDirect 等数据库收录！ | |