Showing results for Effiziente Reduktionsstrategien in Termersetzungssysteme.
Search instead for Effiziente Reduktionsstrategien in Termersetzunssystemen.
Ist ein Term t und eine Menge R von Regeln über Termen gegeben, so legt eine Reduktionsstrategie fest, welcher Teilterm von t mit welcher Regel aus R ...
J. Müller and E. Wagner (1986): Effiziente Reduktionsstrategien in Termersetzungssystemen ; Booktitle: German Workshop on Artificial Intelligence GWAI--86 und 2.
Effiziente Reduktionsstrategien in Termersetzungssystemen. Jürgen Müller. Elvira wagner. UniversiUt Kaiserslautern. Pachbereich InforJliltik. Ist ein Ter. t und ...
A general algorithm for reduction with algebraic term rewriting systems is presented and several aspects of rewriting are discussed.
Termersetzungssysteme bieten hocheffiziente Verfahren zum rechnergestützten Nachweis und zur Lösung solcher. Gleichungen. • Automatisierte Analyse und ...
Missing: Reduktionsstrategien | Show results with:Reduktionsstrategien
läßt sich mit Regel R1' zu -(-x) reduzieren, und wir können folgende Regel zu unserem. Termersetzungssystem hinzufügen: (R6). -(-x). → x. Mit dem jetzt ...
Missing: Reduktionsstrategien | Show results with:Reduktionsstrategien
Feb 2, 2018 · Weitere Anwendungsbereiche für Reduktionssysteme, die hier nicht weiter betrachtet werden, sind Termersetzungssysteme für das Rechnen in ...
Formale Methoden und die zu ihrer Umsetzung notwendigen formalen Syste- me spielen in der Informatik von Anfang an eine wichtige Rolle. Umfang und.
Nov 21, 2024 · Effiziente Reduktionsstrategien in Termersetzunssystemen. Conference Paper. Jan 1986. Juergen Mueller · Elvira Wagner. Ist ein ...
Bei den Reduktionsstrategien hatten wir gesehen, dass outermost oder lazy Strategien bei nichtterminierenden Termersetzungssystemen vorteilhaft sind. Aus ...