Proof techniques in Membrane Computing

David Orellana-Martín, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez. Proof techniques in Membrane Computing. Theoretical Computer Science, 862:236-249, 2021. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.