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

Tore Langholm Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTore Langholm: Default Logics with Preference Order: Principles and Characterisations. LPAR 2008: 406-420
2007
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Bezem, Tore Langholm, Michal Walicki: Completeness and Decidability in Sequence Logic. LPAR 2007: 123-137
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArild 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTore Langholm: A descriptive characterisation of linear languages. Journal of Logic, Language and Information 15(3): 233-250 (2006)
2005
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler: Default Reasoning with Preference Within Only Knowing Logic. LPNMR 2005: 304-316
2004
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEspen H. Lian, Tore Langholm, Arild Waaler: Only Knowing with Confidence Levels: Reductions and Complexity. JELIA 2004: 500-512
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Bezem, Christian Sloper, Tore Langholm: Black Box and White Box Identification of Formal Languages Using Test Sets. Grammars 7: 111-123 (2004)
2003
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTore Langholm, Marc Bezem: A Descriptive Characterisation of Even Linear Languages. Grammars 6(3): 169-181 (2003)
2001
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTore Langholm: A Descriptive Characterisation of Indexed Grammars. Grammars 4(3): 205-262 (2001)
1998
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTore Langholm: A Strong Version of Herbrand's Theorem for Introvert Sentences. J. Symb. Log. 63(2): 555-569 (1998)
1990
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTore Langholm: What is a Horn Clause in Partial Logic? JELIA 1990: 65-77

Coauthor Index

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

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page