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