Periodo de publicación recogido
|
|
|
An Optimizing Protocol Transformation forConstructor Finite Variant Theories in Maude-NPA
Damián Aparicio Sánchez, Santiago Escobar, Julia Sapiña Sanchis, Raúl Gutiérrez Gil
Investigación en Ciberseguridad Actas de las VII Jornadas Nacionales (7º.2022.Bilbao) / José María de Fuentes (ed. lit.), Lorena González Manzano (ed. lit.), José Carlos Sancho Núñez (ed. lit.), Ana Ayerbe (ed. lit.), Luz Marisa Alcocer Escalante (ed. lit.), 2022, ISBN 978-84-88734-13-6, págs. 288-289
Mechanizing proofs of termination in the context-sensitive dependency pairs framework
Raúl Gutiérrez Gil, Salvador Lucas Alba
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.), Ginés Damián Moreno Valverde (ed. lit.), Ricardo Peña Marí (ed. lit.), 2009, ISBN 978-84-692-4600-9, págs. 265-274
Automatic proofs of termination of context-sensitive rewriting
Raúl Gutiérrez Gil
Tesis doctoral dirigida por Salvador Lucas Alba (dir. tes.). Universitat Politècnica de València (2010).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados