Registered user since Wed 1 Aug 2018

Name: Rei Thiessen

Affiliation: Google Inc.

Contributions

DPA 2018Author of Simple encoding of lattices in Datalog within the DPA-track