diff options
-rw-r--r-- | mgr.bib | 27 |
1 files changed, 27 insertions, 0 deletions
@@ -72,3 +72,30 @@ author = {Omer Berkman and Uzi Vishkin}, title = {Recursive Star-Tree Parallel Data Structure} } +@incollection{courcelle1990, + doi = {10.1016/b978-0-444-88074-1.50010-x}, + url = {https://doi.org/10.1016%2Fb978-0-444-88074-1.50010-x}, + year = 1990, + publisher = {Elsevier}, + pages = {193--242}, + author = {Bruno Courcelle}, + title = {Graph Rewriting: An Algebraic and Logic Approach} +} +@incollection{courcelle1992, + doi = {10.1007/3-540-55121-2_2}, + url = {https://doi.org/10.1007%2F3-540-55121-2_2}, + year = 1992, + publisher = {Springer Berlin Heidelberg}, + pages = {13--24}, + author = {B. Courcelle and M. Mosbah}, + title = {Monadic second-order evaluations on tree-decomposable graphs} +} +@incollection{flum2001, + doi = {10.1007/3-540-44503-x_2}, + url = {https://doi.org/10.1007%2F3-540-44503-x_2}, + year = 2001, + publisher = {Springer Berlin Heidelberg}, + pages = {22--38}, + author = {Jörg Flum and Markus Frick and Martin Grohe}, + title = {Query Evaluation via Tree-Decompositions} +} |