Obserwuj
Marek Czarnecki
Tytuł
Cytowane przez
Cytowane przez
Rok
How fast can the fixpoints in modal µ-calculus be reached
M Czarnecki
Fixed Points in Computer Science, 35-39, 2010
172010
A modal logic of a truth definition for finite models
M Czarnecki, K Zdanowski
Fundamenta Informaticae 164 (4), 299-325, 2019
52019
Learnability Thesis Does Not Entail Church’s Thesis
M Czarnecki, MT Godziszewski, D Kalociński
Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014 …, 2014
12014
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–3