Unifikations-alg von Robinson < Algor.+Datenstr. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) für Interessierte  | | Datum: | 12:26 Mo 27.09.2004 | | Autor: | sirtobi |
Habe da ein kleines Problemschen mit dem Unifikationsalgorithmus von Robinson. Dies betrifft nicht den Algorithmus als solchen, sondern nur, wann dieser stoppt. Habe gelesen, das der Algorithmus auch bei unedlich vielen Variablenvorkommen stoppt, aber warum.
Vielen Dank für euer Bemühen
Gruß Sirtobi
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:51 Mi 29.09.2004 | | Autor: | Eva |
Hi Sirtobi,
leider kann Dir hier keine(r) Deine Frage beantworten.
Da die Fälligkeit bereits abgelaufen ist, gehe ich davon aus, dass Du an einer Antwort nicht mehr interessiert bist.
Tut mir leid,
viele Grüße
Eva
|
|
|
|
