Research output

1. The Existence of Primitive Recursive Structures

   Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

2. Decidable Models of Ehrenfeucht Theories

   Research output: Contribution to journal › Article › peer-review

3. Inversion in P-Computable Fields

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

View all (10) »