Jakob Grue Simonsen
Institutleder
ORCID: 0000-0002-3488-9392
1 - 3 ud af 3Pr. side: 10
- 2005
- Udgivet
Infinitary Combinatory Reduction Systems
Ketema, J. & Simonsen, Jakob Grue, 2005, Proceedings of the 30th International Conference on Rewriting Techniques and Applications. 3467 udg. s. 438-452Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
- Udgivet
On Beta-Shifts Having Arithmetical Languages
Simonsen, Jakob Grue, 2005, : Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science. 3618 udg. Springer, s. 757-768Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
- Udgivet
On Confluence of Infinitary Combinatory Reduction Systems
Ketema, J. & Simonsen, Jakob Grue, 2005, Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05). 3835 udg. Berlin: Springer, s. 199-214Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
ID: 12543
Flest downloads
-
4105
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2506
downloads
Classifying VAT Legislation for Automation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2078
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Publikation: Konferencebidrag › Paper › Forskning
Udgivet