Powrót do listy instytutów
Publikacje
Czasopismo: ACM Transactions on Computational Logic
Liczba publikacji: 122021
- 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