Marek Czarnecki

According to our database, Marek Czarnecki authored at least 4 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

A Modal Logic of a Truth Definition for Finite Models.

Marek Czarnecki, Konrad Zdanowski

Fundam. Informaticae, 2019

2017

Concrete Mathematics. Finitistic Approach to Foundations.

Marcin Mostowski, Marek Czarnecki

Proceedings of the Logic, Language, Information, and Computation, 2017

2014

Learnability Thesis Does Not Entail Church's Thesis.

Marek Czarnecki, Michal Tomasz Godziszewski, Dariusz Kalocinski

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2010

How Fast Can the Fixpoints in Modal mu-Calculus Be Reached?

Marek Czarnecki

Proceedings of the 7th Workshop on Fixed Points in Computer Science, 2010