TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2005 | 2004 | 2002 | 2001 | 1998 | 1997 | 1996 | 1994
Anzahl der Einträge: 9.

2005

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

2004

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

2002

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

2001

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

1998

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

1997

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

1996

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

1994

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

Diese Liste wurde am Sat Dec 21 03:17:46 2024 CET generiert.