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

Jens Otten Vis

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

*2008
16EEJens Otten: leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions). IJCAR 2008: 283-291
15EEThomas Raths, Jens Otten: randoCoP: Randomizing the Proof Search Order in the Connection Calculus. PAAR/ESHOL 2008
2007
14EEThomas Raths, Jens Otten, Christoph Kreitz: The ILTP Problem Library for Intuitionistic Logic. J. Autom. Reasoning 38(1-3): 261-271 (2007)
2005
13EEJens Otten: Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic. TABLEAUX 2005: 245-261
12EEThomas Raths, Jens Otten, Christoph Kreitz: The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. TABLEAUX 2005: 333-337
2003
11EEJens Otten, Wolfgang Bibel: leanCoP: lean connection-based theorem proving. J. Symb. Comput. 36(1-2): 139-161 (2003)
2000
10 Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka: Matrix-based Constructive Theorem Proving. Intellectics and Computational Logic 2000: 189-205
1999
9 Heiko Mantel, Jens Otten: linTAP: A Tableau Prover for Linear Logic. TABLEAUX 1999: 217-231
8EEChristoph Kreitz, Jens Otten: Connection-based Theorem Proving in Classical and Non-classical Logics. J. UCS 5(3): 88-112 (1999)
1997
7EEChristoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt: Connection-Based Proof Construction in Linear Logic. CADE 1997: 207-221
6EEWolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann: A Multi-level Approach to Program Synthesis. LOPSTR 1997: 1-27
5 Jens Otten: ileanTAP: An Intuitionistic Theorem Prover. TABLEAUX 1997: 307-312
1996
4 Jens Otten, Christoph Kreitz: A Uniform Proof Procedure for Classical and Non-Classical Logics. KI 1996: 307-319
3 Jens Otten, Christoph Kreitz: T-String Unification: Unifying Prefixes in Non-classical Proof Methods. TABLEAUX 1996: 244-260
1995
2 Christoph Kreitz, Jens Otten, Stephan Schmitt: Guiding Program Development Systems by a Connection Based Proof Strategy. LOPSTR 1995: 137-151
1 Jens Otten: A Connection Based Proof Method for Intuitionistic Logic. TABLEAUX 1995: 122-137

Coauthor Index

1Wolfgang Bibel [6] [11]
2Daniel S. Korn [6]
3Christoph Kreitz [2] [3] [4] [6] [7] [8] [10] [12] [14]
4F. Kurucz [6]
5Heiko Mantel [7] [9]
6Brigitte Pientka [10]
7Thomas Raths [12] [14] [15]
8Stephan Schmitt [2] [7] [10]
9Stephen Schmitt [6]
10G. Stolpmann [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)