http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems

Baader, Franz (Corresponding author) ; Giesl, Jürgen (Corresponding author)^RWTH*

In
9th International Conference on Formal Structures for Computation and Deduction : FSCD 2024, July 10-13, 2024, Tallinn, Estonia / edited by Jakob Rehof, Seiten/Artikel-Nr: 16:1-16:18

2024

Konferenz/Event:9. International Conference on Formal Structures for Computation and Deduction , Tallinn , Estonia , FSCD 2024 , 2024-07-10 - 2024-07-13

ImpressumSaarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, June

Umfang16:1-16:18

ISBN978-3-95977-323-2

ReiheLeibniz international proceedings in informatics ; 299

Online
DOI: 10.4230/LIPICS.FSCD.2024.16
10.4230/LIPICS.FSCD.2024.16
DOI: 10.18154/RWTH-2024-09699
URL: https://publications.rwth-aachen.de/record/995082/files/995082.pdf

Einrichtungen

1. Lehr- und Forschungsgebiet Programmiersprachen und Verifikation (121420)
2. Fachgruppe Informatik (120000)

Projekte

1. DFG project G:(GEPRIS)235950644 - Automatische Terminierungs- und Komplexitätsanalyse imperativer Programme (235950644) (235950644)

Inhaltliche Beschreibung (Schlagwörter)
Confluence (Genormte SW) ; Creating small terms (Genormte SW) ; Derivational complexity (Genormte SW) ; Description Logics (Genormte SW) ; Proof rewriting (Genormte SW) ; Rewriting (Genormte SW) ; Termination (Genormte SW) ; Theory of computation → Automated reasoning (Genormte SW) ; Theory of computation → Complexity theory and logic (Genormte SW) ; Theory of computation → Equational logic and rewriting (Genormte SW)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85198827616

Interne Identnummern
RWTH-2024-09699
Datensatz-ID: 995082

Beteiligte Länder
Germany