|
|||||
|
|
The Complexity of Regularity in Grammar Logics and Related Modal Logics |
|
| Authors: | Demri Stephane |
| Affiliation: | 1 Lab. Spécification et Vérification, ENS de Cachan & CNRS UMR 8643, 61 Av. Pdt. Wilson, 94235 Cachan Cedex, France. E-mail: demri{at}lsv.ens-cachan.fr |
| Abstract: | |
| Keywords: | Computational complexity modal logic formal grammar regular language finite automaton |
| 本文献已被 Oxford 等数据库收录！ | |