Deciding Semantic Finiteness of Pushdown Processes and First-Order Grammars w.r.t. Bisimulation Equivalence.

Petr Jancar

Browse the full MFCS paper archive.