Programming Languages and Theory of Computing

Most downloads

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

See more