Vesa Halava | DeepAI

DeepAI

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

Featured Co-authors

Tero Harju
4 publications
Esa Sahla
1 publication
Teemu Pirttimäki
1 publication

research

∙ 03/17/2022

A recursive function coding number theoretic functions

We show that there exists a fixed recursive function e such that for all...

0 Vesa Halava, et al. ∙

research

∙ 11/30/2021

Undecidability in Finite Transducers, Defense Systems and Finite Substitutions

In this manuscript we present a detailed proof for undecidability of the...

0 Vesa Halava, et al. ∙

research

∙ 11/08/2021

The Conjugate Post Correspondence Problem

We introduce a modification to the Post Correspondence Problem where (in...

0 Vesa Halava, et al. ∙