research
∙
02/16/2021
Decidability for Sturmian words
We show that the first-order theory of Sturmian words over Presburger ar...
share
research
∙
02/02/2021
Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata
Pecan is an automated theorem prover for reasoning about properties of S...
research
∙
10/09/2020
Psamathe: A DSL with Flows for Safe Blockchain Assets
Blockchains host smart contracts for crowdfunding, tokens, and many othe...
research
∙
09/08/2019