Volgen
Marek Czarnecki
Marek Czarnecki
Uniwersytet Warszawski
Geverifieerd e-mailadres voor uw.edu.pl
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3