search

mirelon / membrane_computing

0 stars 0 forks source link

Explain the open problem in the discussion after Theorem 4.2.1 #214

Closed mirelon closed 7 years ago

mirelon commented 8 years ago

Could be the unbounded case weaker? "You probably mean decidability..." Page 63 (Pardubska)