- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Relative Termination via Dependency Pairs ; day:30 ; month:4 ; year:2016 ; pages:1-21
Journal of automated reasoning ; (30.4.2016), 1-21
- Urheber
-
Iborra, José
- Beteiligte Personen und Organisationen
-
Nishida, Naoki
Vidal, Germán
Yamada, Akihisa
SpringerLink (Online service)
- DOI
-
10.1007/s10817-016-9373-5
- URN
-
urn:nbn:de:1111-2016050413583
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:56 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.
Beteiligte
- Iborra, José
- Nishida, Naoki
- Vidal, Germán
- Yamada, Akihisa
- SpringerLink (Online service)
Ähnliche Objekte (12)
A Dependency Pair Framework for Relative Termination of Term Rewriting
Proving and disproving termination in the dependency pair framework
Confluence without Termination via Parallel Critical Pairs
Relative Termination
Relative termination
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
Compatible relative open books on relative contact pairs via generalized square bridge diagrams
On Minimal Models and the Termination of Flips for Generalized Pairs
Translationskopplung via Termination-Reinitiation in Archaea und Bacteria
Zen of Python Dependency Management: Dependency resolution via pyproject.toml — replacing setup.py, requirements.txt, and MANIFEST.ini
Proving termination of probabilistic recursive programs via SMT-solving
Translational coupling via termination-reinitiation in archaea and bacteria
A Dependency Pair Framework for Relative Termination of Term Rewriting
Proving and disproving termination in the dependency pair framework
Confluence without Termination via Parallel Critical Pairs
Relative Termination
Relative termination
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
Compatible relative open books on relative contact pairs via generalized square bridge diagrams
On Minimal Models and the Termination of Flips for Generalized Pairs
Translationskopplung via Termination-Reinitiation in Archaea und Bacteria
Zen of Python Dependency Management: Dependency resolution via pyproject.toml — replacing setup.py, requirements.txt, and MANIFEST.ini
Proving termination of probabilistic recursive programs via SMT-solving
Translational coupling via termination-reinitiation in archaea and bacteria
A Dependency Pair Framework for Relative Termination of Term Rewriting
Proving and disproving termination in the dependency pair framework
Confluence without Termination via Parallel Critical Pairs
Relative Termination
Relative termination
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
Compatible relative open books on relative contact pairs via generalized square bridge diagrams
On Minimal Models and the Termination of Flips for Generalized Pairs
Translationskopplung via Termination-Reinitiation in Archaea und Bacteria
Zen of Python Dependency Management: Dependency resolution via pyproject.toml — replacing setup.py, requirements.txt, and MANIFEST.ini
Proving termination of probabilistic recursive programs via SMT-solving