Arnold Beckmann | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙

Success!

An error occurred