Nominal completion for rewrite systems with binders
Visualitza/Obre
Article de publicat a ICALP 2012 (237,6Kb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
10.1007/978-3-642-31585-5_21
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/24004
Tipus de documentText en actes de congrés
Data publicació2012
EditorSpringer
Condicions d'accésAccés restringit per política de l'editorial
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We design a completion procedure for nominal rewriting systems, based on a generalisation of the recursive path ordering to take into account alpha equivalence. Nominal rewriting generalises first-order rewriting by providing support for the specification of binding operators. Completion of rewriting systems with binders is a notably difficult problem; the completion procedure presented in this paper is the first to deal with binders in rewrite rules.
CitacióFernández, M.; Rubio, A. Nominal completion for rewrite systems with binders. A: International Colloquium on Automata, Languages and Programming. "Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012: Warwick, UK, July 9-13, 2012: proceedings, part II". Warwick: Springer, 2012, p. 201-213.
ISBN978-3-642-31585-5
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
paper-finalLNCS.pdf | Article de publicat a ICALP 2012 | 237,6Kb | Accés restringit |