1. 2008
  2. Published

    Nominalistic Logic (Extended Abstract). / Villadsen, Jørgen.

    Computing Research Repository (CoRR), 2008.

    Research output: Book/ReportReport – Annual report year: 2008Researchpeer-review

  3. Published

    Nominalistic Logic: From Naive Set Theory to Intensional Type Theory. / Villadsen, Jørgen.

    New Approaches to Classes and Concepts — Studies in Logic. ed. / Klaus Robering. Vol. 14 College Publications, 2008. p. 57-85.

    Research output: Chapter in Book/Report/Conference proceedingBook chapter – Annual report year: 2008Researchpeer-review

  4. Published

    On Reducing Relationships to Property Ascriptions. / Nilsson, Jørgen Fischer.

    Proc. of the 18th European-Japanese Conference Information Modelling and Knowledge Bases, Tsukuba, Japan, June 2-6, 2008. ed. / Y. Kiyoki; T. Tokuda. Tsukuba, Japan, 2008. p. 249-256.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2008Research

  5. Published

    Proceedings of the 5th International Workshop on Constraints and Language Processing (CSLP 2008). / Villadsen, Jørgen (Editor); Christiansen, Henning (Editor).

    Roskilde University, 2008. 94 p.

    Research output: Book/ReportReport – Annual report year: 2008Researchpeer-review

  6. Published

    Self-reference. / Bolander, Thomas.

    Stanford Encyclopedia of Philsophy. CSLI Publications, 2008.

    Research output: Chapter in Book/Report/Conference proceedingBook chapter – Annual report year: 2008Researchpeer-review

  7. 2007
  8. Published

    Improved Approximate String Matching and Regular Expression Matching on Ziv-Lempel Compressed Texts. / Bille, Philip; Fagerberg, Rolf; Gørtz, Inge Li.

    Combinatorial Pattern Matching, Proceedings. Springer, 2007. p. 52-62.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2007Researchpeer-review

  9. Published

    Preface : For the proceedings of the International Workshop on Hybrid Logic 2006 (HyLo). / Blackburn, P.; Bolander, Thomas; Braüner, T.; de Paiva, V.; Villadsen, Jørgen.

    In: Electronic Notes in Theoretical Computer Science, Vol. 174, No. 6, 2007, p. 1–2.

    Research output: Contribution to journalEditorial – Annual report year: 2007Researchpeer-review

  10. Published

    Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). / Blackburn, Patrick (Editor); Bolander, Thomas (Editor); Braüner, Torben (Editor); de Paiva, Valeria (Editor); Villadsen, Jørgen (Editor).

    Elsevier, 2007.

    Research output: Book/ReportBook – Annual report year: 2007Researchpeer-review

  11. 2006
  12. Published

    Ontological Constitutions for Classes and Properties. / Nilsson, Jørgen Fischer (Invited author).

    14th Int. Conf. on Conceptual Structures, ICCS 2006. Vol. Lecture Notes in Artificial Intelligence (LNAI), vol. 4068 2006.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2006Researchpeer-review

  13. Published

    Tableau-Based Decision Procedures for Hybrid Logic. / Bolander, Thomas; Braüner, Torben.

    In: Journal of Logic and Computation, Vol. 16, 2006, p. 737-763.

    Research output: Contribution to journalJournal article – Annual report year: 2006Researchpeer-review

Previous 1...9 10 11 12 13 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word