Przejdź do treści
Czekaj...
Wczytywanie...
Nie jesteś zalogowany |
zaloguj się
Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Menu główne
studia
Kandydat
Student
Doktorant
Wykładowca
Erasmus
Cтуденти з України
wydział
dojazd i plan
Rada Wydziału
formularze, dokumenty
struktura i organizacja
pracownicy i doktoranci
aktualności
zamówienia publiczne
badania
dziedziny badań
seminaria
publikacje
granty
Rada Dyscyplin
Sekcja Obsługi Badań
IDUB
popularyzacja
zajęcia dla uczniów
materiały online
dla studentów i matematyków
dla wszystkich
konkursy, projekty
inne materiały
Formularz wyszukiwania
Szukaj
PL /
EN
USOSweb
SRS
APD
Moodle
Lab. komputerowe
poczta studencka
poczta pracownicza
Plany
Biblioteka
Wspomnienia
Praca
Deklaracja dostępności
Skala szarości
Wysoki kontrast
Negatyw
Podkreślenie linków
Reset
Powrót do listy instytutów
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