Rewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings /
Ponencias presentadas en la vigésima quinta Conferencia Internacional Conjunta sobre Técnicas y Aplicaciones de Reescritura, y en la décima segunda Conferencia Internacional sobre Cálculos Lambda Mecanografiados y Aplicaciones, realizadas como parte del Verano de Viena de la Lógica, en Viena, Austri...
Guardado en:
| Autores corporativos: | , , |
|---|---|
| Otros autores: | |
| Formato: | Procedimiento de la conferencia Libro |
| Idioma: | Inglés |
| Publicado: |
Cham, Suiza :
Springer,
2014, c2014
|
| Colección: | (Lecture Notes in Computer Science ; Advanced Research in Computing and Software Science)
8560. |
| Temas: | |
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
| Resumen: | Ponencias presentadas en la vigésima quinta Conferencia Internacional Conjunta sobre Técnicas y Aplicaciones de Reescritura, y en la décima segunda Conferencia Internacional sobre Cálculos Lambda Mecanografiados y Aplicaciones, realizadas como parte del Verano de Viena de la Lógica, en Viena, Austria, en julio de 2014. Los artículos dan cuenta de los avances en la investigación sobre aspectos de la reescritura y los cálculos lambda mecanografiados, cuestiones teóricas y metodológicas, aspectos algorítmicos y de programación, así como aplicaciones en diversos contextos. |
|---|---|
| Descripción física: | 1 libro electrónico en línea (XXII, 491 p.) 1 recurso en línea |
| ISBN: | 978-3-319-08918-8 |
| Acceso: | Licencias ilimitadas |