Arnold Beckmann | DeepAI

DeepAI

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

Featured Co-authors

Yoriyuki Yamagata
5 publications
Anton Setzer
3 publications
Fahad F. Alhabardi
1 publication
Bogdan Lazar
1 publication

research

∙ 03/09/2022

On proving consistency of equational theories in Bounded Arithmetic

We consider pure equational theories that allow substitution but disallo...

0 Arnold Beckmann, et al. ∙

research

∙ 03/06/2022

Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control

This paper contributes to the verification of programs written in Bitcoi...

0 Fahad F. Alhabardi, et al. ∙