activity
20042022
most citedVerification of Bitcoin Script in Agda using Weakest Preconditions for Access Control

7 citations · 8 across the 4 of their papers we have counts for

collaborators
Showing 2022 · math.LOShow all

1 paper · 2 filters

math.LO2022

On proving consistency of equational theories in Bounded Arithmetic

Arnold Beckmann, Yoriyuki Yamagata

We consider pure equational theories that allow substitution but disallow induction, which we denote as PETS, based on recursive definition of their function symbols. We show that…