Strategy-Based Proof Calculus for Membrane Systems (Q5179128)
From MaRDI portal
scientific article; zbMATH DE number 6416973
Language | Label | Description | Also known as |
---|---|---|---|
English | Strategy-Based Proof Calculus for Membrane Systems |
scientific article; zbMATH DE number 6416973 |
Statements
Strategy-Based Proof Calculus for Membrane Systems (English)
0 references
19 March 2015
0 references
rewriting logic
0 references
strategy-based rewriting logic
0 references
strategy controller
0 references
membrane system
0 references
membership equational logic
0 references