Pergamon Press
Publisher
Research outputs (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
ID: 233201