1. Published
   Parallel Computation with Algebraic Structures A Circuitous Route

   Research output: Thesis › Doctoral thesis

2. E-pub ahead of print
   Logic and Computation Through the Lens of Semirings

   Research output: Working paper/Preprint › Technical report › Research

3. E-pub ahead of print
   Logical Approaches to Non-deterministic Polynomial Time over Semirings

   Research output: Working paper/Preprint › Preprint

View all (8)