Publikacje

Czasopismo: Acm Transactions On Computational Logic

Liczba publikacji: 8

2018

• Michal Garl\'\ik i Leszek Aleksander 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 Andrzej Schubert, Paweł Urzyczyn i Daria Monika Walukiewicz-Chrząszcz, How Hard Is Positive Quantification?, Acm Transactions On Computational Logic 17 (4) 2016, s. 30.zobacz w PBN
• Alessandro Facchini, Filip Murlak i Michał Paweł Skrzypczak, 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 i Tony Tan, On the variable hierarchy of first-order spectra, Acm Transactions On Computational Logic 16 (2) 2015, s. 17:1––17:12.zobacz w PBN

2012

• Ewa Madalińska-Bugaj i Anh Linh Nguyen, A Generalized QSQR Evaluation Method for Horn Knowledge Bases, Acm Transactions On Computational Logic 13 (4) 2012, s. 1–37.zobacz w PBN

2011

• Mikołaj Bojańczyk, Claire David, Anca Muscholl, Thomas Schwentick i Luc Segoufin, Two-variable logic on data words, Acm Transactions On Computational Logic 12 (4) 2011.zobacz w PBN

2008

• Sławomir Lasota i Igor Walukiewicz, Alternating timed automata, Acm Transactions On Computational Logic 9 (2) 2008.zobacz w PBN

2003

• Dexter Kozen i Jerzy Tiuryn, Substructural Logic and Partial Correctness, Acm Transactions On Computational Logic 4 (3) 2003, s. 355–378.zobacz w PBN