| Título : |
Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers |
| Tipo de documento: |
documento electrónico |
| Autores: |
Escobar, Santiago, ; Martí-Oliet, Narciso, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
VII, 217 p. 39 ilustraciones, 11 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-63595-4 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Idioma : |
Inglés (eng) |
| Palabras clave: |
Ciencias de la Computación Lógica informática y fundamentos de la programación. |
| Clasificación: |
40.151 |
| Resumen: |
Este libro contiene artículos seleccionados del 12.º Taller Internacional sobre Reescritura de Lógica y sus Aplicaciones, WRLA 2020, celebrado en Dublín, Irlanda, en abril de 2020. Debido a la pandemia de COVID-19, el taller se llevó a cabo de forma virtual. Los 11 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 16 presentaciones. La lógica de reescritura es un modelo natural de computación y un marco semántico expresivo para la concurrencia, el paralelismo, la comunicación y la interacción. Se puede utilizar para especificar una amplia gama de sistemas y lenguajes en diversos campos de aplicación. |
| Nota de contenido: |
Models of rewriting and rewriting logic -- Termination, confluence, coherence, and complexity -- Unification, generalization, and narrowing -- Graph rewriting -- Tree automata -- Rewriting strategies -- Rewriting-based declarative languages -- Explicit-state and symbolic model checking techniques -- Rewriting-based theorem proving, including (co)inductive theorem proving -- Rewriting-based constraint solving and satisfiability. |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020. Due to the COVID-19 pandemic the workshop took place virtually. The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers [documento electrónico] / Escobar, Santiago, ; Martí-Oliet, Narciso, . - 1 ed. . - [s.l.] : Springer, 2020 . - VII, 217 p. 39 ilustraciones, 11 ilustraciones en color. ISBN : 978-3-030-63595-4 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
| Palabras clave: |
Ciencias de la Computación Lógica informática y fundamentos de la programación. |
| Clasificación: |
40.151 |
| Resumen: |
Este libro contiene artículos seleccionados del 12.º Taller Internacional sobre Reescritura de Lógica y sus Aplicaciones, WRLA 2020, celebrado en Dublín, Irlanda, en abril de 2020. Debido a la pandemia de COVID-19, el taller se llevó a cabo de forma virtual. Los 11 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 16 presentaciones. La lógica de reescritura es un modelo natural de computación y un marco semántico expresivo para la concurrencia, el paralelismo, la comunicación y la interacción. Se puede utilizar para especificar una amplia gama de sistemas y lenguajes en diversos campos de aplicación. |
| Nota de contenido: |
Models of rewriting and rewriting logic -- Termination, confluence, coherence, and complexity -- Unification, generalization, and narrowing -- Graph rewriting -- Tree automata -- Rewriting strategies -- Rewriting-based declarative languages -- Explicit-state and symbolic model checking techniques -- Rewriting-based theorem proving, including (co)inductive theorem proving -- Rewriting-based constraint solving and satisfiability. |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020. Due to the COVID-19 pandemic the workshop took place virtually. The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsquedaConsejo Nacional de Normalización Propuesta de Acta N° 16 Jueves 27 de Junio de 1991 / Restrepo, Gabriel
