From 518b9cc6d75555bc6c3a95bd6b734361de023079 Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Thu, 14 Oct 2021 14:36:36 +0200 Subject: Add references --- mgr.bib | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/mgr.bib b/mgr.bib index e08fc23..d29d7e5 100644 --- a/mgr.bib +++ b/mgr.bib @@ -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} +} -- cgit v1.2.3