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
Jump to: German
Number of items: 9.

German

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
eds.: Hacid, Mohand-Saïd ; Raś, Zbigniew ; Murray, Neil ; Tsumoto, Shusaku (2005)
Normal Forms for Knowledge Compilation.
Conference or Workshop Item, Bibliographie

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
eds.: Fermüller, Christian ; Egly, Uwe (2002)
Unit Preference for Ordered Resolution and for Connection Graph Resolution.
Conference or Workshop Item, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
eds.: Goré, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias (2001)
Ordered Resolution vs. Connection Graph Resolution.
Conference or Workshop Item, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
ed.: de Swart, Harrie (1998)
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion.
Conference or Workshop Item, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
eds.: Raś, Zbigniew ; Skowron, Andrzej (1997)
Completeness for Linear Regular Negation Normal Form Inference Systems.
Conference or Workshop Item, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
ed.: Galmiche, Didier (1997)
A Remark on Proving Completeness.
Conference or Workshop Item, Bibliographie

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

Beckert, Bernhard ; Hähnle, Reiner ; Ramesh, Anavai ; Murray, Neil
ed.: Pfenning, Frank (1994)
On Anti-Links.
Conference or Workshop Item, Bibliographie

This list was generated on Tue Jul 16 00:49:14 2024 CEST.