You are not logged in |
Back to the list of the institutes
Publications
Journal: ACM Transactions on Computational Logic
Number of publications: 122021
- Andrej Dudenhefner, Paweł Urzyczyn , Kripke Semantics for Intersection Formulas, ACM Transactions on Computational Logic, 22 (3) 2021, p. 1-16. See in PBN
2020
- Petr Hliněný, Daniel Lokshtanov, M. S. Ramanujan, Jan Obdržálek, Jakub Gajarský , A New Perspective on FO Model Checking of Dense Graph Classes, ACM Transactions on Computational Logic, 21 (4) 2020, p. 1-23. See in PBN
- Stephan Kreutzer, Jaroslav Nešetřil, Patrice Ossona De Mendez, Michał Pilipczuk , Sebastian Siebertz, Szymon Toruńczyk , Jakub Gajarský , First-Order Interpretations of Bounded Expansion Classes, ACM Transactions on Computational Logic, 21 (4) 2020, p. 29:1-29:41. See in PBN
- Kord Eickmeyer, Jan van den Heuvel, Ken-Ichi Kawarabayashi, Stephan Kreutzer, Patrice Ossona de Mendez, Michał Pilipczuk , Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz, Model-Checking on Ordered Structures, ACM Transactions on Computational Logic, 21 (2) 2020, p. 11:1-11:28. See in PBN
2019
- Lorenzo Clemente , Sławomir Lasota , Ranko Lazić, Filip Mazowiecki, Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems, ACM Transactions on Computational Logic, 20 (3) 2019, p. 1-31. See in PBN
2018
- Michal Garlík, Leszek Kołodziejczyk , Some Subsystems of Constant-Depth Frege with Parity, ACM Transactions on Computational Logic, 19 (4) 2018, p. 29:1-29:34. See in PBN
2016
- Aleksy Schubert , Paweł Urzyczyn , Daria Walukiewicz-Chrząszcz, How Hard Is Positive Quantification?, ACM Transactions on Computational Logic, 2016. See in PBN
- Filip Murlak , Michał Skrzypczak , Alessandro Facchini, Index Problems for Game Automata, ACM Transactions on Computational Logic, 17 (4) 2016, p. 24:1-24:38. See in PBN
2015
- Eryk Kopczyński , Tony Tan, On the variable hierarchy of first-order spectra, ACM Transactions on Computational Logic, 2015. See in PBN
2012
- Ewa Madalińska-Bugaj, Anh Linh Nguyen , A Generalized QSQR Evaluation Method for Horn Knowledge Bases, ACM Transactions on Computational Logic, 2012. See in PBN
2011
- Mikołaj Bojańczyk , Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Two-variable logic on data words, ACM Transactions on Computational Logic, 2011. See in PBN
2008
- Sławomir Lasota , Igor Walukiewicz, Alternating timed automata, ACM Transactions on Computational Logic, 2008. See in PBN
