TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 8.

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Hacid, Mohand-Saïd and Raś, Zbigniew and Murray, Neil and Tsumoto, Shusaku (eds.) (2005):
Normal Forms for Knowledge Compilation.
In: Foundations of Intelligent Systems, 10th International Symposium, {ISMIS}'05, Saratoga Springs/NY, USA, Springer-Verlag, In: LNCS, [Conference or Workshop Item]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik (2004):
Linearity and regularity with negation normal form.
In: Theoretical Computer Science, pp. 325--354, 328, (3), [Article]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Fermüller, Christian and Egly, Uwe (eds.) (2002):
Unit Preference for Ordered Resolution and for Connection Graph Resolution.
In: Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Copenhagen, Denmark, [Conference or Workshop Item]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Goré, Rajeev and Leitsch, Alexander and Nipkow, Tobias (eds.) (2001):
Ordered Resolution vs. Connection Graph Resolution.
In: Proc. International Joint Conference on Automated Reasoning IJCAR, Siena, Italy, Springer-Verlag, In: LNCS, 2083, [Conference or Workshop Item]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
de Swart, Harrie (ed.) (1998):
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion.
In: Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Oosterwijk, The Netherlands, Springer-Verlag, In: LNCS, [Conference or Workshop Item]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Raś, Zbigniew and Skowron, Andrzej (eds.) (1997):
Completeness for Linear Regular Negation Normal Form Inference Systems.
In: Foundations of Intelligent Systems, 10th International Symposium, {ISMIS}'97, Charlotte, North Carolina, USA, Springer-Verlag, In: LNCS, 1325, [Conference or Workshop Item]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Galmiche, Didier (ed.) (1997):
A Remark on Proving Completeness.
In: Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Pont-`{a}-Mousson, France, [Conference or Workshop Item]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Miglioli, Pierangelo and Moscato, Ugo and Mundici, Daniele and Ornaghi, Mario (eds.) (1996):
A Remark on the P-Simulatability of Proof Systems by Path Dissolution.
In: Short Papers presented at 5th International Workshop, {TABLEAUX'96}, Palermo, Italy, [Conference or Workshop Item]

This list was generated on Tue Jun 25 02:20:48 2019 CEST.