scholarly journals Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure

2013 ◽  
pp. 106-121 ◽  
Author(s):  
Christian Percebois ◽  
Martin Strecker ◽  
Hanh Nhi Tran
Keyword(s):  
Transitive Closure ◽  
Graph Transformations

Non-well-founded Proof Theory of Transitive Closure Logic

2020 ◽  
Vol 21 (4) ◽  
pp. 1-31
Author(s):  
Liron Cohen ◽  
Reuben N. S. Rowe
Keyword(s):  
Proof Theory ◽  
Transitive Closure

Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees

2020 ◽  
Vol 89 ◽  
pp. 101467 ◽  
Author(s):  
Jelle Hellings ◽  
Marc Gyssens ◽  
Yuqing Wu ◽  
Dirk Van Gucht ◽  
Jan Van den Bussche ◽  
...  
Keyword(s):  
Transitive Closure ◽  
Relation Algebra

scholarly journals Trade-offs for fully dynamic transitive closure on DAGs: breaking through the O ( n 2 barrier

2005 ◽  
Vol 52 (2) ◽  
pp. 147-156 ◽  
Author(s):  
Camil Demetrescu ◽  
Giuseppe F. Italiano
Keyword(s):  
Transitive Closure ◽  
Trade Offs

Planar Polyline Drawings via Graph Transformations

Algorithmica ◽  
2008 ◽  
Vol 57 (2) ◽  
pp. 381-397 ◽  
Author(s):  
Huaming Zhang
Keyword(s):  
Graph Transformations
Sign in / Sign up

Export Citation Format

Share Document