Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tomasz Gogacz
@inproceedings{DBLP:conf/icdt/FeierGM24,
author = {Cristina Feier and
Tomasz Gogacz and
Filip Murlak},
editor = {Graham Cormode and
Michael Shekelyan},
title = {Evaluating Graph Queries Using Semantic Treewidth},
booktitle = {27th International Conference on Database Theory, {ICDT} 2024, March
25-28, 2024, Paestum, Italy},
series = {LIPIcs},
volume = {290},
pages = {22:1--22:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2024.22},
doi = {10.4230/LIPICS.ICDT.2024.22},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/FeierGM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/GogaczMP23,
author = {Tomasz Gogacz and
Jerzy Marcinkowski and
Andreas Pieris},
title = {Uniform Restricted Chase Termination},
journal = {{SIAM} J. Comput.},
volume = {52},
number = {3},
pages = {641--683},
year = {2023},
url = {https://doi.org/10.1137/20m1377035},
doi = {10.1137/20M1377035},
timestamp = {Thu, 22 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/GogaczMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/FeierGM23,
author = {Cristina Feier and
Tomasz Gogacz and
Filip Murlak},
editor = {Benny Kimelfeld and
Maria Vanina Martinez and
Renzo Angles},
title = {Exploiting Semantic Treewidth for Graph Queries Evaluation (short
paper)},
booktitle = {Proceedings of the 15th Alberto Mendelzon International Workshop on
Foundations of Data Management {(AMW} 2023), Santiago de Chile, Chile,
May 22-26, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3409},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3409/paper5.pdf},
timestamp = {Tue, 13 Jun 2023 16:59:20 +0200},
biburl = {https://dblp.org/rec/conf/amw/FeierGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/GogaczMP20,
author = {Tomasz Gogacz and
Jerzy Marcinkowski and
Andreas Pieris},
title = {All-Instances Restricted Chase Termination for Linear TGDs},
journal = {K{\"{u}}nstliche Intell.},
volume = {34},
number = {4},
pages = {465--473},
year = {2020},
url = {https://doi.org/10.1007/s13218-020-00690-7},
doi = {10.1007/S13218-020-00690-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/GogaczMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GogaczGIMOS20,
author = {Tomasz Gogacz and
V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Yazm{\'{\i}}n Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Filip Murlak and
Magdalena Ortiz and
Mantas Simkus},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Ontology Focusing: Knowledge-Enriched Databases on Demand},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {745--752},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200162},
doi = {10.3233/FAIA200162},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GogaczGIMOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GogaczGGIM20,
author = {Tomasz Gogacz and
V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Albert Gutowski and
Yazm{\'{\i}}n Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Filip Murlak},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {On Finite Entailment of Non-Local Queries in Description Logics},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {424--433},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/43},
doi = {10.24963/KR.2020/43},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GogaczGGIM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GogaczLOS20,
author = {Tomasz Gogacz and
Sanja Lukumbuzya and
Magdalena Ortiz and
Mantas Simkus},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Datalog Rewritability and Data Complexity of {ALCHOIF} with Closed
Predicates},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {434--444},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/44},
doi = {10.24963/KR.2020/44},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GogaczLOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GogaczMP20,
author = {Tomasz Gogacz and
Jerzy Marcinkowski and
Andreas Pieris},
editor = {Dan Suciu and
Yufei Tao and
Zhewei Wei},
title = {All-Instances Restricted Chase Termination},
booktitle = {Proceedings of the 39th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2020, Portland, OR, USA, June 14-19, 2020},
pages = {245--258},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3375395.3387644},
doi = {10.1145/3375395.3387644},
timestamp = {Thu, 29 Sep 2022 08:01:46 +0200},
biburl = {https://dblp.org/rec/conf/pods/GogaczMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-16869,
author = {Tomasz Gogacz and
V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Albert Gutowski and
Yazm{\'{\i}}n Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Filip Murlak},
title = {On Finite Entailment of Non-Local Queries in Description Logics},
journal = {CoRR},
volume = {abs/2006.16869},
year = {2020},
url = {https://arxiv.org/abs/2006.16869},
eprinttype = {arXiv},
eprint = {2006.16869},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-16869.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-11503,
author = {Tomasz Gogacz and
V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Yazm{\'{\i}}n Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Jean Christoph Jung and
Filip Murlak},
title = {On Finite and Unrestricted Query Entailment beyond {SQ} with Number
Restrictions on Transitive Roles},
journal = {CoRR},
volume = {abs/2010.11503},
year = {2020},
url = {https://arxiv.org/abs/2010.11503},
eprinttype = {arXiv},
eprint = {2010.11503},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-11503.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GogaczGIJM19,
author = {Tomasz Gogacz and
V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Yazm{\'{\i}}n Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Jean Christoph Jung and
Filip Murlak},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {On Finite and Unrestricted Query Entailment beyond {SQ} with Number
Restrictions on Transitive Roles},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/paper-47.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/GogaczGIJM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GogaczGIJM19,
author = {Tomasz Gogacz and
V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Yazm{\'{\i}}n Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Jean Christoph Jung and
Filip Murlak},
editor = {Sarit Kraus},
title = {On Finite and Unrestricted Query Entailment beyond {SQ} with Number
Restrictions on Transitive Roles},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1719--1725},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/238},
doi = {10.24963/IJCAI.2019/238},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GogaczGIJM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-03897,
author = {Tomasz Gogacz and
Jerzy Marcinkowski and
Andreas Pieris},
title = {All-Instances Restricted Chase Termination: The Guarded Case},
journal = {CoRR},
volume = {abs/1901.03897},
year = {2019},
url = {http://arxiv.org/abs/1901.03897},
eprinttype = {arXiv},
eprint = {1901.03897},
timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-03897.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-00195,
author = {Tomasz Gogacz and
V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Filip Murlak and
Magdalena Ortiz and
Mantas Simkus},
title = {Ontology Focusing: Knowledge-enriched Databases on Demand},
journal = {CoRR},
volume = {abs/1904.00195},
year = {2019},
url = {http://arxiv.org/abs/1904.00195},
eprinttype = {arXiv},
eprint = {1904.00195},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GogaczIM18,
author = {Tomasz Gogacz and
Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Filip Murlak},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Finite Query Answering in Expressive Description Logics with Transitive
Roles},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {369--378},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18062},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GogaczIM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-03130,
author = {Tomasz Gogacz and
Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Filip Murlak},
title = {Finite Query Answering in Expressive Description Logics with Transitive
Roles},
journal = {CoRR},
volume = {abs/1808.03130},
year = {2018},
url = {http://arxiv.org/abs/1808.03130},
eprinttype = {arXiv},
eprint = {1808.03130},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-03130.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GogaczMMS17,
author = {Tomasz Gogacz and
Henryk Michalewski and
Matteo Mio and
Michal Skrzypczak},
title = {Measure properties of regular sets of trees},
journal = {Inf. Comput.},
volume = {256},
pages = {108--130},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.04.012},
doi = {10.1016/J.IC.2017.04.012},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GogaczMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GogaczM17,
author = {Tomasz Gogacz and
Jerzy Marcinkowski},
title = {Converging to the chase - {A} tool for finite controllability},
journal = {J. Comput. Syst. Sci.},
volume = {83},
number = {1},
pages = {180--206},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2016.08.001},
doi = {10.1016/J.JCSS.2016.08.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/GogaczM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/GogaczT17,
author = {Tomasz Gogacz and
Szymon Torunczyk},
editor = {Michael Benedikt and
Giorgio Orsi},
title = {Entropy Bounds for Conjunctive Queries with Functional Dependencies},
booktitle = {20th International Conference on Database Theory, {ICDT} 2017, March
21-24, 2017, Venice, Italy},
series = {LIPIcs},
volume = {68},
pages = {15:1--15:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2017.15},
doi = {10.4230/LIPICS.ICDT.2017.15},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/GogaczT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GogaczM16,
author = {Tomasz Gogacz and
Jerzy Marcinkowski},
editor = {Tova Milo and
Wang{-}Chiew Tan},
title = {Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy
Is Undecidable},
booktitle = {Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26
- July 01, 2016},
pages = {121--134},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2902251.2902288},
doi = {10.1145/2902251.2902288},
timestamp = {Tue, 06 Nov 2018 16:58:02 +0100},
biburl = {https://dblp.org/rec/conf/pods/GogaczM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CzerwinskiGK15,
author = {Wojciech Czerwinski and
Tomasz Gogacz and
Eryk Kopczynski},
title = {Non-dominating Sequences of Vectors Using only Resets and Increments},
journal = {Fundam. Informaticae},
volume = {140},
number = {2},
pages = {123--127},
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1247},
doi = {10.3233/FI-2015-1247},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CzerwinskiGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GogaczM15,
author = {Tomasz Gogacz and
Jerzy Marcinkowski},
title = {The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {281--292},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.35},
doi = {10.1109/LICS.2015.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GogaczM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GogaczM15,
author = {Tomasz Gogacz and
Jerzy Marcinkowski},
title = {The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable},
journal = {CoRR},
volume = {abs/1501.01817},
year = {2015},
url = {http://arxiv.org/abs/1501.01817},
eprinttype = {arXiv},
eprint = {1501.01817},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GogaczM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CzerwinskiGK15,
author = {Wojciech Czerwinski and
Tomasz Gogacz and
Eryk Kopczynski},
title = {Non-dominating sequences of vectors using only resets and increments},
journal = {CoRR},
volume = {abs/1506.05279},
year = {2015},
url = {http://arxiv.org/abs/1506.05279},
eprinttype = {arXiv},
eprint = {1506.05279},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CzerwinskiGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GogaczM15a,
author = {Tomasz Gogacz and
Jerzy Marcinkowski},
title = {Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy
Is Undecidable},
journal = {CoRR},
volume = {abs/1512.01681},
year = {2015},
url = {http://arxiv.org/abs/1512.01681},
eprinttype = {arXiv},
eprint = {1512.01681},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GogaczM15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GogaczT15,
author = {Tomasz Gogacz and
Szymon Torunczyk},
title = {Entropy bounds for conjunctive queries with functional dependencies},
journal = {CoRR},
volume = {abs/1512.01808},
year = {2015},
url = {http://arxiv.org/abs/1512.01808},
eprinttype = {arXiv},
eprint = {1512.01808},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GogaczT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GogaczK14,
author = {Tomasz Gogacz and
Krzysztof Krupinski},
title = {On Regular Groups and Fields},
journal = {J. Symb. Log.},
volume = {79},
number = {3},
pages = {826--844},
year = {2014},
url = {https://doi.org/10.1017/jsl.2013.36},
doi = {10.1017/JSL.2013.36},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GogaczK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BojanczykGMS14,
author = {Mikolaj Bojanczyk and
Tomasz Gogacz and
Henryk Michalewski and
Michal Skrzypczak},
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {On the Decidability of {MSO+U} on Infinite Trees},
booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8573},
pages = {50--61},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43951-7\_5},
doi = {10.1007/978-3-662-43951-7\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BojanczykGMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GogaczM14,
author = {Tomasz Gogacz and
Jerzy Marcinkowski},
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {All-Instances Termination of Chase is Undecidable},
booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8573},
pages = {293--304},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43951-7\_25},
doi = {10.1007/978-3-662-43951-7\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GogaczM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GogaczMMS14,
author = {Tomasz Gogacz and
Henryk Michalewski and
Matteo Mio and
Michal Skrzypczak},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Martin Dietzfelbinger and
Zolt{\'{a}}n {\'{E}}sik},
title = {Measure Properties of Game Tree Languages},
booktitle = {Mathematical Foundations of Computer Science 2014 - 39th International
Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8634},
pages = {303--314},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44522-8\_26},
doi = {10.1007/978-3-662-44522-8\_26},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GogaczMMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GogaczM14,
author = {Tomasz Gogacz and
Jerzy Marcinkowski},
title = {Termination of oblivious chase is undecidable},
journal = {CoRR},
volume = {abs/1401.4840},
year = {2014},
url = {http://arxiv.org/abs/1401.4840},
eprinttype = {arXiv},
eprint = {1401.4840},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GogaczM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GogaczM14a,
author = {Tomasz Gogacz and
Jerzy Marcinkowski},
title = {On the {BDD/FC} Conjecture},
journal = {CoRR},
volume = {abs/1408.2081},
year = {2014},
url = {http://arxiv.org/abs/1408.2081},
eprinttype = {arXiv},
eprint = {1408.2081},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GogaczM14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GogaczM13,
author = {Tomasz Gogacz and
Jerzy Marcinkowski},
title = {Converging to the Chase - {A} Tool for Finite Controllability},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {540--549},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.61},
doi = {10.1109/LICS.2013.61},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GogaczM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GogaczM13,
author = {Tomasz Gogacz and
Jerzy Marcinkowski},
editor = {Richard Hull and
Wenfei Fan},
title = {On the {BDD/FC} conjecture},
booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
June 22 - 27, 2013},
pages = {127--138},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463664.2463668},
doi = {10.1145/2463664.2463668},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/GogaczM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-3432,
author = {Tomasz Gogacz and
Jerzy Marcinkowski},
title = {Converging to the Chase - a Tool for Finite Controllability},
journal = {CoRR},
volume = {abs/1204.3432},
year = {2012},
url = {http://arxiv.org/abs/1204.3432},
eprinttype = {arXiv},
eprint = {1204.3432},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-3432.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-16 22:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
