Ortrun Ibens

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2002
j3		Ortrun Ibens: Connection Tableau Calculi with Disjunctive Constraints. Studia Logica 70(2): 241-270 (2002)
	2001
j2		Ortrun Ibens, Marc Fuchs: An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints. International Journal on Artificial Intelligence Tools 10(1-2): 181-198 (2001)
	2000
c5		Ortrun Ibens: Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints. FLAIRS Conference 2000: 13-17
c4		Ortrun Ibens: Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints. TABLEAUX 2000: 279-293
	1999
b1		Ortrun Ibens: Connection tableau calculi with disjunctive constraints. DISKI 217, Infix 1999, isbn 978-3-89601-217-3, pp. I-XIX, 1-214
	1997
j1		Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr: SETHEO and E-SETHEO - The CADE-13 Systems. J. Autom. Reasoning 18(2): 237-246 (1997)
c3		Ortrun Ibens, Reinhold Letz: Subgoal Alternation in Model Elimination. TABLEAUX 1997: 201-215
c2		Ortrun Ibens: The SETHEO System (system description). WLP 1997: 0-
	1994
c1		Reiner Hähnle, Ortrun Ibens: Improving Temporal Logic Tableaux Using Integer Constraints. ICTL 1994: 535-539

Coauthor Index

Last update Sun May 19 10:49:42 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page