Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Bericht;
E-Book
Titel:
A remark on higher order RUE-resolution with ERUE
Beteiligte:
Benzmüller, Christoph
[Verfasser:in]
Erschienen:
Saarländische Universitäts- und Landesbibliothek, 2002
Sprache:
Englisch
DOI:
https://doi.org/10.22028/D291-42124
ISSN:
1437-4447
Entstehung:
Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
We show that a prominent counterexample for the completeness of first order RUE-resolution does not apply to the higher order RUE-resolution approach ERUE.