Publikacje

Czasopismo: ACM Transactions on Computational Logic

Liczba publikacji: 12

2021

• Andrej Dudenhefner, Paweł Urzyczyn , Kripke Semantics for Intersection Formulas, ACM Transactions on Computational Logic, 22 (3) 2021, s. 1-16. Zobacz w 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, s. 1-23. Zobacz w 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, s. 29:1-29:41. Zobacz w 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, s. 11:1-11:28. Zobacz w 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, s. 1-31. Zobacz w PBN

2018

• Michal Garlík, Leszek Kołodziejczyk , Some Subsystems of Constant-Depth Frege with Parity, ACM Transactions on Computational Logic, 19 (4) 2018, s. 29:1-29:34. Zobacz w PBN

2016

• Aleksy Schubert , Paweł Urzyczyn , Daria Walukiewicz-Chrząszcz, How Hard Is Positive Quantification?, ACM Transactions on Computational Logic, 2016. Zobacz w PBN
• Filip Murlak , Michał Skrzypczak , Alessandro Facchini, Index Problems for Game Automata, ACM Transactions on Computational Logic, 17 (4) 2016, s. 24:1-24:38. Zobacz w PBN

2015

• Eryk Kopczyński , Tony Tan, On the variable hierarchy of first-order spectra, ACM Transactions on Computational Logic, 2015. Zobacz w PBN

2012

• Ewa Madalińska-Bugaj, Anh Linh Nguyen , A Generalized QSQR Evaluation Method for Horn Knowledge Bases, ACM Transactions on Computational Logic, 2012. Zobacz w 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. Zobacz w PBN

2008

• Sławomir Lasota , Igor Walukiewicz, Alternating timed automata, ACM Transactions on Computational Logic, 2008. Zobacz w PBN