scholarly journals Dynamic data structures for series parallel digraphs

1989 ◽  
pp. 352-372 ◽  
Author(s):  
Giuseppe F. Italiano ◽  
Alberto Marchetti Spaccamela ◽  
Umberto Nanni
Keyword(s):  
Data Structures ◽  
Dynamic Data Structures ◽  
Dynamic Data

scholarly journals Abstract Regular Tree Model Checking of Complex Dynamic Data Structures

2006 ◽  
pp. 52-70 ◽  
Author(s):  
Ahmed Bouajjani ◽  
Peter Habermehl ◽  
Adam Rogalewicz ◽  
Tomáš Vojnar
Keyword(s):  
Model Checking ◽  
Data Structures ◽  
Complex Dynamic ◽  
Tree Model ◽  
Dynamic Data Structures ◽  
Dynamic Data ◽  
Regular Tree

scholarly journals Dynamic data structures for approximate Hausdorff distance in the word RAM

2017 ◽  
Vol 60 ◽  
pp. 37-44 ◽  
Author(s):  
Timothy M. Chan ◽  
Dimitrios Skrepetos
Keyword(s):  
Data Structures ◽  
Hausdorff Distance ◽  
Dynamic Data Structures ◽  
Dynamic Data
Sign in / Sign up

Export Citation Format

Share Document