ITU

Pergamon Press

Publisher

View graph of relations

Research outputs (1)

  1. Published

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

ID: 233201