- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Zugl.: Passau, Univ., Diss., 1990
- Erschienen in
-
Ulmer Informatik-Berichte ; Nr. 91,03
- Schlagwort
-
Termersetzungssystem
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (wann)
-
2012
- Urheber
-
Geser, Alfons
- URN
-
urn:nbn:de:bsz:289-vts-81465
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:33 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Geser, Alfons
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Entstanden
- 2012
Ähnliche Objekte (12)
Relative Termination
Relative Termination via Dependency Pairs
Automated termination proofs
Termination proofs for logic programs
A Dependency Pair Framework for Relative Termination of Term Rewriting
Mechanismen zur Termination der Interleukin-6-Signaltransduktion
Termination of Price Wars : a signaling approach
Beiträge zum Nachweis der Termination von Termersetzungssystemen
On the termination of the chase algorithm
Zur Frage der Disproportionierung als Termination monoradikalischer Reaktionssequenzen
Termination and confluence : properties of structured rewrite systems
Automatic termination analysis for functional and imperative programs
Relative Termination
Relative Termination via Dependency Pairs
Automated termination proofs
Termination proofs for logic programs
A Dependency Pair Framework for Relative Termination of Term Rewriting
Mechanismen zur Termination der Interleukin-6-Signaltransduktion
Termination of Price Wars : a signaling approach
Beiträge zum Nachweis der Termination von Termersetzungssystemen
On the termination of the chase algorithm
Zur Frage der Disproportionierung als Termination monoradikalischer Reaktionssequenzen
Termination and confluence : properties of structured rewrite systems
Automatic termination analysis for functional and imperative programs
Relative Termination
Relative Termination via Dependency Pairs
Automated termination proofs
Termination proofs for logic programs
A Dependency Pair Framework for Relative Termination of Term Rewriting
Mechanismen zur Termination der Interleukin-6-Signaltransduktion
Termination of Price Wars : a signaling approach
Beiträge zum Nachweis der Termination von Termersetzungssystemen
On the termination of the chase algorithm
Zur Frage der Disproportionierung als Termination monoradikalischer Reaktionssequenzen
Termination and confluence : properties of structured rewrite systems