Hochschulschrift
Static termination analysis for prolog using term rewriting and SAT solving
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
II, 174 S.
- Sprache
-
Englisch
- Anmerkungen
-
Zugl.: Aachen, Techn. Hochsch., Diss. 2008
- Erschienen in
-
Aachener Informatik-Berichte ; 2008,17
- Schlagwort
-
Terminierung ; PROLOG ; Termersetzungssystem ; Erfüllbarkeitsproblem ; Automatisches Beweisverfahren ; Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
RWTH, Fachgruppe Informatik
- (wann)
-
2008
- Urheber
- URN
-
urn:nbn:de:hbz:82-opus-26300
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:51 MEZ
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
- Schneider-Kamp, Peter
- RWTH, Fachgruppe Informatik
Entstanden
- 2008
Ähnliche Objekte (12)
Termination Proofs of Rewriting Systems
On termination of single pushout graph rewriting
SAT Solving mit GPU Unterstützung
Advanced Methods for SAT Solving
SAT-Solving mit GPU-Unterstützung
SAT solving with message passing
Termination of cycle rewriting by transformation and matrix interpretation
The DP framework for proving termination of term rewriting
Termination proofs and derivation lengths in term rewriting systems
SAT Solving with GPU Accelerated Inprocessing
Symbolic Causality Checking Using SAT-Solving
SAT solving with GPU accelerated inprocessing
Termination Proofs of Rewriting Systems
On termination of single pushout graph rewriting
SAT Solving mit GPU Unterstützung
Advanced Methods for SAT Solving
SAT-Solving mit GPU-Unterstützung
SAT solving with message passing
Termination of cycle rewriting by transformation and matrix interpretation
The DP framework for proving termination of term rewriting
Termination proofs and derivation lengths in term rewriting systems
SAT Solving with GPU Accelerated Inprocessing
Symbolic Causality Checking Using SAT-Solving
SAT solving with GPU accelerated inprocessing
Termination Proofs of Rewriting Systems
On termination of single pushout graph rewriting
SAT Solving mit GPU Unterstützung
Advanced Methods for SAT Solving
SAT-Solving mit GPU-Unterstützung
SAT solving with message passing
Termination of cycle rewriting by transformation and matrix interpretation
The DP framework for proving termination of term rewriting
Termination proofs and derivation lengths in term rewriting systems
SAT Solving with GPU Accelerated Inprocessing
Symbolic Causality Checking Using SAT-Solving