Research output

1. Efficient fair conjunction for structurally-recursive relations

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

2. Certified Semantics for Relational Programming

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

3. Relational Synthesis for Pattern Matching

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

View all (14) »