Programming Languages and Theory of Computing

Most downloads

1. 4498 downloads

   Troll, a Language for specifying Dice-rolls

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

   Published
2. 4102 downloads

   Requirements for Logical Models for Value-Added Tax Legislation

   Research output: Contribution to conference › Paper › Research

   Published
3. 2505 downloads

   Classifying VAT Legislation for Automation

   Research output: Contribution to conference › Paper › Research

   Published

See more