Complexity of deciding bisimilarity between normed BPA and normed BPP
| Autor: | Jančar, Petr, Kot, Martin, Sawa, Zdeněk |
|---|---|
| Zdroj: | In Information and Computation 2010 208(10):1193-1205 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Jančar, Petr, Kot, Martin, Sawa, Zdeněk |
|---|---|
| Zdroj: | In Information and Computation 2010 208(10):1193-1205 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect