Termination of Linear Bounded Term Rewriting Systems

International audience

Data and Resources

Additional Info

Field Value
Source Proceedings RTA'10
Author Durand, Irène, Sénizergues, Géraud, Sylvestre, Marc
Maintainer CCSD
Last Updated May 6, 2026, 07:40 (UTC)
Created May 6, 2026, 07:40 (UTC)
Identifier hal-00949526
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)
creator Durand, Irène
date 2010-07-11T00:00:00
harvest_object_id 9e8b084e-da4e-4ca9-b692-9bdd4e80ba7f
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-05-26T00:00:00
set_spec type:COMM