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: LNCS, In: Foundations of Intelligent Systems, 10th International Symposium, {ISMIS}'05, Saratoga Springs/NY, USA, Springer-Verlag, pp. 304--313, [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, 328 (3), pp. 325--354, [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.
2083In: LNCS, In: Proc. International Joint Conference on Automated Reasoning IJCAR, Siena, Italy, Springer-Verlag, pp. 182--194, [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: LNCS, In: Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Oosterwijk, The Netherlands, Springer-Verlag, pp. 172--186, [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.
1325In: LNCS, In: Foundations of Intelligent Systems, 10th International Symposium, {ISMIS}'97, Charlotte, North Carolina, USA, Springer-Verlag, pp. 590--599, [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, pp. 41--47, [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, pp. 33--48, [Conference or Workshop Item]

This list was generated on Sat Aug 8 02:36:30 2020 CEST.