Gert Smolka | DeepAI

DeepAI

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

Featured Co-authors

Yannick Forster
10 publications
Moritz Lichter
10 publications
Edith Heiter
4 publications
Fabian Kunze
3 publications

research

∙ 06/08/2018

Formal Small-step Verification of a Call-by-value Lambda Calculus Machine

We formally verify an abstract machine for a call-by-value lambda-calcul...

0 Fabian Kunze, et al. ∙

research

∙ 04/13/2018

Constructive Analysis of S1S and Büchi Automata

We study S1S and Büchi automata in the constructive type theory of the C...

0 Moritz Lichter, et al. ∙

research

∙ 11/19/2017

Verification of PCP-Related Computational Reductions in Coq

We formally verify several computational reductions concerning the Post ...

0 Yannick Forster, et al. ∙