research
∙
05/13/2020
Bisimilarity in fresh-register automata
Register automata are a basic model of computation over infinite alphabe...
share
research
∙
10/08/2018
Defunctionalization of Higher-Order Constrained Horn Clauses
Building on the successes of satisfiability modulo theories (SMT), Bjørn...
research
∙
05/17/2017
