Programming Languages and Theory of Computing

Read more
  1. 4511 downloads

    Troll, a Language for specifying Dice-rolls

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

    Published
  2. 4106 downloads

    Requirements for Logical Models for Value-Added Tax Legislation

    Research output: Contribution to conference › Paper › Research

    Published
  3. 2508 downloads

    Classifying VAT Legislation for Automation

    Research output: Contribution to conference › Paper › Research

    Published
  4. 2080 downloads

    Tutorial on Modeling VAT Rules Using OWL-DL

    Research output: Contribution to conference › Paper › Research

    Published
  5. 736 downloads

    Automated Market Makers

    Research output: Working paper › Research

    Published