Programming Languages and Theory of Computing

Read more
  1. 4558 downloads

    Troll, a Language for specifying Dice-rolls

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

    Published
  2. 4111 downloads

    Requirements for Logical Models for Value-Added Tax Legislation

    Research output: Contribution to conference › Paper › Research

    Published
  3. 2510 downloads

    Classifying VAT Legislation for Automation

    Research output: Contribution to conference › Paper › Research

    Published
  4. 2085 downloads

    Tutorial on Modeling VAT Rules Using OWL-DL

    Research output: Contribution to conference › Paper › Research

    Published
  5. 742 downloads

    Automated Market Makers

    Research output: Working paper

    Published