Jakob Grue Simonsen
Institutleder
- 2005
- Udgivet
Specker Sequences Revisited
Simonsen, Jakob Grue, 2005, I: Mathematical Logic Quarterly. 51(5), s. 532-540Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2006
- Udgivet
Compositional specification of commercial contracts
Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, I: International Journal on Software Tools for Technology Transfer. s. 485 - 516 31 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
On Local Non-Compactness in Recursive Mathematics
Simonsen, Jakob Grue, 2006, I: Mathematical Logic Quarterly. 52/4, s. 323-330Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
On Modularity in Infinitary Rewriting
Simonsen, Jakob Grue, 2006, I: Information and Computation. 204(6), s. 957-988Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
On the Computability of the Topological Entropy of Subshifts
Simonsen, Jakob Grue, 2006, I: Discrete Mathematics and Theoretical Computer Science. 8, s. 83-96Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
On modularity in infinitary term rewriting
Simonsen, Jakob Grue, 1 jan. 2006, I: Information and Computation. 204, 6, s. 957-988 32 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2007
- Udgivet
Compositional Contract Specification for REA
Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (red.). Universitetet i Oslo, s. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
- Udgivet
Tutorial on Modeling VAT Rules Using OWL-DL
Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2007.Publikation: Konferencebidrag › Paper › Forskning
- 2008
- Udgivet
Classifying VAT Legislation for Automation
Sudzina, F., Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008.Publikation: Konferencebidrag › Paper › Forskning
- Udgivet
Interpretive Overhead and Optimal Specialisation. Or: Life without the Pending List (Workshop Version)
Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2008. 11 s.Publikation: Konferencebidrag › Paper › Forskning
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