Hypergraph Basic Categorial Grammars

Hypergraph Basic Categorial Grammars

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ICGT (13. : 2020 : Online) Graph transformation
1. Verfasser: Pshenitsyn, Tikhon (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Confluence up to Garbage 2020 Campbell, Graham
Single Pushout Rewriting in Comprehensive Systems 2020 König, Harald
Hypergraph Basic Categorial Grammars 2020 Pshenitsyn, Tikhon
Algebras for Tree Decomposable Graphs 2020 Bruni, Roberto
A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java 2020 Bruggink, H. J. Sander
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants 2020 McCreesh, Ciaran
Conditional Bigraphs 2020 Archibald, Blair
Initial Conflicts for Transformation Rules with Nested Application Conditions 2020 Lambers, Leen
Patch Graph Rewriting 2020 Overbeek, Roy
Graph Parsing as Graph Transformation: Correctness of Predictive Top-Down Parsers 2020 Drewes, Frank
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions 2020 Schneider, Sven
Unfolding Symbolic Attributed Graph Grammars 2020 Saadat, Maryam Ghaffari
Multilevel Typed Graph Transformations 2020 Wolter, Uwe
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics 2020 Behr, Nicolas
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic 2020 Schneider, Sven
Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations 2020 Kosiol, Jens
Multiscale Graph Grammars Can Generate Cayley Graphs of Groups and Monoids 2020 Kurth, Winfried
A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies 2020 Zöllner, Christian
Computing Embeddings of Directed Bigraphs 2020 Chiapperini, Alessio
A Categorical Semantics for Guarded Petri Nets 2020 Genovese, Fabrizio
Alle Artikel auflisten