Jakob Grue Simonsen
Institutleder
ORCID: 0000-0002-3488-9392
1 - 4 ud af 4Pr. side: 10
- 2011
- Udgivet
Beta-shifts, their languages and computability
Simonsen, Jakob Grue, 2011, I: Theory of Computing Systems. 48, 2, s. 297-318Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Infinitary Combinatory Reduction Systems
Ketema, J. & Simonsen, Jakob Grue, 2011, I: Information and Computation. 209, 6, s. 893-926 34 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Levels of undecidability in rewriting
Endrullis, J., Geuvers, H., Simonsen, Jakob Grue & Zantema, H., 2011, I: Information and Computation. 209, 2, s. 227-245 19 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Programming in biomolecular computation: programs, self-interpretation and visualisation
Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, I: Scientific Annals of Computer Science. 21, 1, s. 73-106 34 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
ID: 12543
Flest downloads
-
4103
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 -
2077
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Publikation: Konferencebidrag › Paper › Forskning
Udgivet