Using well-structured transition systems to decide divergence for catalytic P systems
Autor: | Busi, Nadia |
---|---|
Zdroj: | In Theoretical Computer Science 2007 372(2):125-135 |
Databáze: | ScienceDirect |
Externí odkaz: |
Autor: | Busi, Nadia |
---|---|
Zdroj: | In Theoretical Computer Science 2007 372(2):125-135 |
Databáze: | ScienceDirect |
Externí odkaz: |