Specifying graph languages with type graphs (Q2423749): Difference between revisions

@@ Property / cites work @@
+Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata
+Normal rank
@@ Property / cites work @@
+A Modal-Logic Based Graph Abstraction
@@ Property / cites work: A Modal-Logic Based Graph Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking
+Normal rank
@@ Property / cites work @@
+On the Recognizability of Arrow and Graph Languages
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Rewriting abstract structures: materialization explained categorically
+Normal rank
@@ Property / cites work @@
+Specifying graph languages with type graphs
@@ Property / cites work: Specifying graph languages with type graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890710
@@ Property / cites work: Q4890710 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Q3077955
@@ Property / cites work: Q3077955 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Proving non-termination by finite automata
@@ Property / cites work: Proving non-termination by finite automata / 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 @@
+Formal Methods in Software and Systems Modeling
@@ Property / cites work: Formal Methods in Software and Systems Modeling / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222796
@@ Property / cites work: Q4222796 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstractions from proofs
@@ Property / cites work: Abstractions from proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Duality theorems for finite structures (characterising gaps and good characterisations)
+Normal rank
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic of Graph Constraints
@@ Property / cites work: A Logic of Graph Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Sound and Complete Abstract Graph Transformation
@@ Property / cites work: Sound and Complete Abstract Graph Transformation / rank @@
+Normal rank