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...
Guardat en:
| Autor corporatiu: | , , |
|---|---|
| Altres autors: | |
| Format: | Actes de congresos Llibre |
| Idioma: | anglès |
| Publicat: |
Cham, Suiza :
Springer,
2014, c2014
|
| Col·lecció: | (Lecture Notes in Computer Science ; Advanced Research in Computing and Software Science)
8560. |
| Matèries: | |
| Accés en línia: | Ver documento en línea |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000567455 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310132128.148 | ||
| 020 | |a 978-3-319-08918-8 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Conference on Rewriting Techniques and Applications ( |n 25a : |d 2014 : |c Viena, Austria) | ||
| 245 | 1 | 0 | |a Rewriting and Typed Lambda Calculi : |b Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings / |c Ed. de G. Dowek. |
| 264 | 4 | |a Cham, Suiza : |b Springer, |c 2014, c2014 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2014 | |
| 300 | |a 1 libro electrónico en línea (XXII, 491 p.) | ||
| 300 | |a 1 recurso en línea | ||
| 336 | |a datos para computadora |b cod |2 rdacontenido | ||
| 337 | |a computadora |b c |2 rdamedio | ||
| 338 | |a recurso en línea |b cr |2 rdasoporte | ||
| 440 | 1 | |a (Lecture Notes in Computer Science ; |v 8560. |p Advanced Research in Computing and Software Science) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a 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. | ||
| 649 | |a XX | ||
| 650 | |a Lenguajes de Programación | ||
| 650 | |a Lenguajes Formales | ||
| 650 | |a Inteligencia Artificial | ||
| 650 | |a Complejidad Computacional | ||
| 650 | |a Sistemas de Reescritura (Informática) - |x Tema Principal | ||
| 650 | |a Autómatas Matemáticos - |x Teoría | ||
| 650 | |a Lógica Matemática - |x Congresos - |x Tema Principal | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Dowek, Gilles |e (edición) | ||
| 711 | |a International Conference on Typed Lambda-Calculi and Applications ( |n 12a : |d 2014 : |c Viena, Austria) | ||
| 711 | |a Vienna Summer of Logic ( |d 2014 : |c Viena, Austria) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-08918-8 |y Ver documento en línea |
| 910 | |a Fondo General | ||
| 920 | |a Electrónicos - Libros en Línea | ||
| 930 | |a Plataforma Digital | ||
| 905 | |a 205 | ||
| 901 | |a 567455-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000567455 | ||