Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Hacid, Mohand-Saïd ; Raś, Zbigniew ; Murray, Neil ; Tsumoto, Shusaku (2005)
Normal Forms for Knowledge Compilation.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik (2004)
Linearity and regularity with negation normal form.
In: Theoretical Computer Science, 328 (3)
Artikel, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Fermüller, Christian ; Egly, Uwe (2002)
Unit Preference for Ordered Resolution and for Connection Graph Resolution.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Goré, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias (2001)
Ordered Resolution vs. Connection Graph Resolution.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: de Swart, Harrie (1998)
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Raś, Zbigniew ; Skowron, Andrzej (1997)
Completeness for Linear Regular Negation Normal Form Inference Systems.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Galmiche, Didier (1997)
A Remark on Proving Completeness.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Miglioli, Pierangelo ; Moscato, Ugo ; Mundici, Daniele ; Ornaghi, Mario (1996)
A Remark on the P-Simulatability of Proof Systems by Path Dissolution.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Ramesh, Anavai ; Murray, Neil
Hrsg.: Pfenning, Frank (1994)
On Anti-Links.
Konferenzveröffentlichung, Bibliographie