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

@@ Property / DOI @@
-.1016/j.tcs.2006.12.016
@@ Property / DOI: 10.1016/j.tcs.2006.12.016 / rank @@
-Normal rank
@@ Property / author @@
-Dorel Lucanu
@@ Property / author: Dorel Lucanu / rank @@
-Normal rank
@@ Property / author @@
+Dorel Lucanu
@@ Property / author: Dorel Lucanu / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CLIPS
@@ Property / describes a project that uses: CLIPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MGS
@@ Property / describes a project that uses: MGS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.12.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2071919672
@@ Property / OpenAlex ID: W2071919672 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57937131
@@ Property / Wikidata QID: Q57937131 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.TCS.2006.12.016
@@ Property / DOI: 10.1016/J.TCS.2006.12.016 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:877021