Collaborated with:
H.Michalewski P.Pradic M.Skrzypczak
Talks about:
strength (1) theorem (1) logic (1) decid (1) büchi (1)
Person: Leszek Aleksander Kolodziejczyk
DBLP: Kolodziejczyk:Leszek_Aleksander
Contributed to:
Wrote 1 papers:
- CSL-2016-KolodziejczykMP #automaton #decidability #logic #theorem
- The Logical Strength of Büchi's Decidability Theorem (LAK, HM, PP, MS), p. 16.