Defining and Executing P Systems with Structured Data in K (Q5191176): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KOOL
@@ Property / describes a project that uses: KOOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+K Prover
@@ Property / describes a project that uses: K Prover / 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.1007/978-3-540-95885-7_26
+Normal rank
@@ Property / OpenAlex ID @@
+W1490868210
@@ Property / OpenAlex ID: W1490868210 / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Expressing Control Mechanisms of Membranes by Rewriting Strategies
+Normal rank
@@ Property / cites work @@
+Q2852095
@@ Property / cites work: Q2852095 / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting logic framework for operational semantics of membrane systems
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+P transducers
@@ Property / cites work: P transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+The conformon-P system: a molecular and cell biology-inspired computability model
+Normal rank
@@ Property / cites work @@
+A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+The power of communication: P systems with symport/antiport
+Normal rank
@@ Property / cites work @@
+Computing with membranes
@@ Property / cites work: Computing with membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708469
@@ Property / cites work: Q2708469 / rank @@
+Normal rank