- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Relative Termination via Dependency Pairs ; day:30 ; month:4 ; year:2016 ; pages:1-21
Journal of automated reasoning ; (30.4.2016), 1-21
- Creator
-
Iborra, José
- Contributor
-
Nishida, Naoki
Vidal, Germán
Yamada, Akihisa
SpringerLink (Online service)
- DOI
-
10.1007/s10817-016-9373-5
- URN
-
urn:nbn:de:1111-2016050413583
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:56 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Iborra, José
- Nishida, Naoki
- Vidal, Germán
- Yamada, Akihisa
- SpringerLink (Online service)
Other Objects (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