Research outputs (1)

1. Published

   System Description: Delphin - A Functional Programming Language for Deductive Systems

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review