dblp.uni-trier.dewww.uni-trier.de

Tore Langholm

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
10EETore Langholm: Default Logics with Preference Order: Principles and Characterisations. LPAR 2008: 406-420
2007
9EEMarc Bezem, Tore Langholm, Michal Walicki: Completeness and Decidability in Sequence Logic. LPAR 2007: 123-137
8EEArild Waaler, Johan W. Klüwer, Tore Langholm, Espen H. Lian: Only knowing with degrees of confidence. J. Applied Logic 5(3): 492-518 (2007)
2006
7EETore Langholm: A descriptive characterisation of linear languages. Journal of Logic, Language and Information 15(3): 233-250 (2006)
2005
6EEIselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler: Default Reasoning with Preference Within Only Knowing Logic. LPNMR 2005: 304-316
2004
5EEEspen H. Lian, Tore Langholm, Arild Waaler: Only Knowing with Confidence Levels: Reductions and Complexity. JELIA 2004: 500-512
2003
4EETore Langholm, Marc Bezem: A Descriptive Characterisation of Even Linear Languages. Grammars 6(3): 169-181 (2003)
2001
3 Tore Langholm: A Descriptive Characterisation of Indexed Grammars. Grammars 4(3): 205-262 (2001)
1998
2 Tore Langholm: A Strong Version of Herbrand's Theorem for Introvert Sentences. J. Symb. Log. 63(2): 555-569 (1998)
1990
1 Tore Langholm: What is a Horn Clause in Partial Logic? JELIA 1990: 65-77

Coauthor Index

1Marc Bezem [4] [9]
2Iselin Engan [6]
3Johan W. Klüwer [8]
4Espen H. Lian [5] [6] [8]
5Arild Waaler [5] [6] [8]
6Michal Walicki [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)