Programming Languages and Theory of Computing

Read more
  1. 4584 downloads

    Troll, a Language for specifying Dice-rolls

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

    Published
  2. 4130 downloads

    Requirements for Logical Models for Value-Added Tax Legislation

    Research output: Contribution to conference › Paper › Research

    Published
  3. 2517 downloads

    Classifying VAT Legislation for Automation

    Research output: Contribution to conference › Paper › Research

    Published
  4. 2093 downloads

    Tutorial on Modeling VAT Rules Using OWL-DL

    Research output: Contribution to conference › Paper › Research

    Published
  5. 750 downloads

    Automated Market Makers

    Research output: Working paper › Research

    Published