A general framework for types in graph rewriting (Q2581012): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-005-0180-4
@@ Property / DOI: 10.1007/s00236-005-0180-4 / 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/s00236-005-0180-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2067566191
@@ Property / OpenAlex ID: W2067566191 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791846
@@ Property / cites work: Q4791846 / rank @@
+Normal rank
@@ Property / cites work @@
+LEAN: An intermediate language based on graph rewriting
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph expressions and graph rewritings
@@ Property / cites work: Graph expressions and graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890710
@@ Property / cites work: Q4890710 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q3839056
@@ Property / cites work: Q3839056 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
+Normal rank
@@ Property / cites work @@
+Closed action calculi
@@ Property / cites work: Closed action calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperedge replacement: grammars and languages
@@ Property / cites work: Hyperedge replacement: grammars and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791830
@@ Property / cites work: Q4791830 / rank @@
+Normal rank
@@ Property / cites work @@
+A generic type system for the Pi-calculus
@@ Property / cites work: A generic type system for the Pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Bigraphs and transitions
@@ Property / cites work: Bigraphs and transitions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270069
@@ Property / cites work: Q4270069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472460
@@ Property / cites work: Q4472460 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754160
@@ Property / cites work: Q2754160 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypergraph construction and its application to the static analysis of concurrent systems
+Normal rank
@@ Property / cites work @@
+Analysing input/output-capabilities of mobile processes with a generic type system
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536393
@@ Property / cites work: Q4536393 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit State Model Checking for Graph Grammars
@@ Property / cites work: Explicit State Model Checking for Graph Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / DOI @@
+.1007/S00236-005-0180-4
@@ Property / DOI: 10.1007/S00236-005-0180-4 / rank @@
+Normal rank