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]

Abstract

Abstract is missing.