search

mirelon / membrane_computing

0 stars 0 forks source link

Remove precondition for the type of P system in Lemma 4.2.2 #213

Closed mirelon closed 7 years ago

mirelon commented 8 years ago

It is clear from context (Pardubska)