publication venue for
- Operator algebras with hyperarithmetic theory. 31:612-629. 2021
- Tracking computability of GPAC-generable functions. 31:326-346. 2021
- A Logic of Type Relations and its Applications to Relational Databases. 16:789-815. 2006
- A Verification Logic for Rewriting Logic. 15:317-352. 2005
- A Constructive Presentation for the Modal Connective of Necessity (□). 2:31-50. 1992
- Editorial. 2:243-245. 1992
- Temporal Reasoning over Deontic Specifications. 1:357-395. 1991