Ortrun Ibens

	2002
9		Ortrun Ibens: Connection Tableau Calculi with Disjunctive Constraints. Studia Logica 70(2): 241-270 (2002)
	2001
8		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
7		Ortrun Ibens: Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints. FLAIRS Conference 2000: 13-17
6		Ortrun Ibens: Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints. TABLEAUX 2000: 279-293
	1999
5		Ortrun Ibens: Connection tableau calculi with disjunctive constraints. Infix 1999: I-XIX, 1-214
	1997
4		Ortrun Ibens, Reinhold Letz: Subgoal Alternation in Model Elimination. TABLEAUX 1997: 201-215
3		Ortrun Ibens: The SETHEO System (system description). WLP 1997: 0-
2		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)
	1994
1		Reiner Hähnle, Ortrun Ibens: Improving Temporal Logic Tableaux Using Integer Constraints. ICTL 1994: 535-539

Coauthor Index

1	Marc Fuchs	[8]
2	Christoph Goller	[2]
3	Reiner Hähnle	[1]
4	Reinhold Letz	[2] [4]
5	Klaus Mayr	[2]
6	Max Moser	[2]
7	Johann Schumann	[2]
8	Joachim Steinbach	[2]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page