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: 9.

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, pp. 304--313,
Springer-Verlag, [Conference or Workshop Item]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik (2004):
Linearity and regularity with negation normal form.
328, In: Theoretical Computer Science, (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.
In: LNCS, 2083, In: Proc. International Joint Conference on Automated Reasoning IJCAR, Siena, Italy, pp. 182--194,
Springer-Verlag, [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, pp. 172--186,
Springer-Verlag, [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: LNCS, 1325, In: Foundations of Intelligent Systems, 10th International Symposium, {ISMIS}'97, Charlotte, North Carolina, USA, pp. 590--599,
Springer-Verlag, [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]

Beckert, Bernhard and Hähnle, Reiner and Ramesh, Anavai and Murray, Neil Pfenning, Frank (ed.) (1994):
On Anti-Links.
In: LNCS, 822, In: Proc. 5th International Conference on Logic Programming and Automated Reasoning, Kiev, Ukraine, pp. 275--289,
Springer-Verlag, [Conference or Workshop Item]

This list was generated on Tue Nov 24 02:01:56 2020 CET.