Michał Skrzypczak | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Mikołaj Bojańczyk
11 publications
Paweł Parys
10 publications
Edon Kelmendi
7 publications
Damian Niwiński
1 publication

research

∙ 04/24/2023

The Probabilistic Rabin Tree Theorem

The Rabin tree theorem yields an algorithm to solve the satisfiability p...

0 Damian Niwiński, et al. ∙

research

∙ 01/21/2019

MSO+nabla is undecidable

This paper is about an extension of monadic second-order logic over infi...

0 Mikołaj Bojańczyk, et al. ∙