Paul J. Voda | DeepAI

DeepAI

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

Featured Co-authors

Ján Komara
5 publications

research

∙ 10/01/2019

Extraction of Efficient Programs in IΣ_1-arithmetic

Clausal Language (CL) is a declarative programming and verifying system ...

0 Ján Komara, et al. ∙

research

∙ 09/30/2019

On Herbrand Skeletons

Herbrand's theorem plays an important role both in proof theory and in c...

0 Paul J. Voda, et al. ∙