A rewriting logic framework for operational semantics of membrane systems (Q877021): Difference between revisions

@@ Property / cites work @@
+Q2852095
@@ Property / cites work: Q2852095 / rank @@
+Normal rank
@@ Property / cites work @@
+Term-rewriting systems with rule priorities
@@ Property / cites work: Term-rewriting systems with rule priorities / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+ELAN from a rewriting logic point of view
@@ Property / cites work: ELAN from a rewriting logic point of view / rank @@
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Structured gamma
@@ Property / cites work: Structured gamma / rank @@
+Normal rank
@@ Property / cites work @@
+MGS
@@ Property / cites work: MGS / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane computing. An introduction.
@@ Property / cites work: Membrane computing. An introduction. / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank