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

← Older edit Newer edit →

@@ aliases / en / 0 / aliases / en / 0 @@
+Specifying Graph Languages with Type Graphs
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 7135228
@@ Property / title @@
+Specifying Graph Languages with Type Graphs (English)
@@ Property / title: Specifying Graph Languages with Type Graphs (English) / rank @@
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68191
@@ Property / zbMATH Open document ID: 1425.68191 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-319-61470-0_5
@@ Property / DOI: 10.1007/978-3-319-61470-0_5 / rank @@
+Normal rank
@@ Property / published in @@
+Graph Transformation
@@ Property / published in: Graph Transformation / rank @@
+Normal rank
@@ Property / publication date @@
+November 2019Timestamp +2019-11-22T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2019-11-22T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 22 November 2019 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+7135228
@@ Property / zbMATH DE Number: 7135228 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2606320081
@@ Property / OpenAlex ID: W2606320081 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05263
@@ Property / arXiv ID: 1704.05263 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q128486301
@@ Property / Wikidata QID: Q128486301 / rank @@
+Normal rank