Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014 Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014 : Revised Selected Papers /
Ponencias presentadas en el décimo segundo Taller Internacional sobre Métodos Coalgebraicos en Ciencias de la Computación, que tuvo lugar en Grenoble, Francia, en abril de 2014. Se incluyen los siguientes textos: Lenguajes de orden superior: equivalencias de bisimulación y coinducción; Semántica de...
Sábháilte in:
| Údar corparáideach: | |
|---|---|
| Rannpháirtithe: | |
| Formáid: | Imeacht comhdhála LEABHAR |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Sraith: | (Lecture Notes in Computer Science ;
8446) |
| Ábhair: | |
| Rochtain ar líne: | Ver documento en línea |
| Clibeanna: |
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000456808 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310124027.882 | ||
| 020 | |a 978-3-662-44124-4 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Workshop on Coalgebraic Methods in Computer Science ( |n 12° : |d 2014 : |c Grenoble, Francia) | ||
| 245 | 1 | 0 | |a Coalgebraic Methods in Computer Science : |b 12th IFIP WG 1.3 International Workshop, CMCS 2014 Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014 : Revised Selected Papers / |c Ed. de M.M. Bonsangue. |
| 264 | 4 | |a Heidelberg, Alemania : |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 (XI, 129 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 8446) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Ponencias presentadas en el décimo segundo Taller Internacional sobre Métodos Coalgebraicos en Ciencias de la Computación, que tuvo lugar en Grenoble, Francia, en abril de 2014. Se incluyen los siguientes textos: Lenguajes de orden superior: equivalencias de bisimulación y coinducción; Semántica de condición previa más débil genérica de mónadas enriquecidas con orden; Multijuegos coalgebraicos; Cómo matar epsilons con una daga; Sobre coalgebras con movimientos internos; Una vista coalgebraica de las fórmulas características en la lógica de punto fijo modal ecuacional; Simulaciones coalgebraicas y congruencias; Mónadas de Dijkstra en computación monádica; Categorías de coalgebras con homomorfismos monádicos; Elevación de adjuntos a coálgebras para (re)descubrir construcciones de autómatas; Autómatas canónicos no deterministas; Hacia la construcción sistemática de lógicas temporales para sistemas dinámicos vía coalgebra; Teoría de recursión algebraica-coalgebraica de modelos de sistemas dinámicos dependientes de la historia. | ||
| 649 | |a XX | ||
| 650 | |a Codificación - |x Teoría | ||
| 650 | |a Complejidad Computacional | ||
| 650 | |a Computadoras | ||
| 650 | |a Control - |x Teoría | ||
| 650 | |a Inteligencia Artificial | ||
| 650 | |a Autómatas Matemáticos - |x Teoría - |x Tema Principal | ||
| 650 | |a Lógica Algebraica | ||
| 650 | |a Lógica Matemática - |x Tema Principal | ||
| 650 | |a Modelos Matemáticos | ||
| 650 | |a Ingeniería Computacional | ||
| 650 | |a Algoritmos | ||
| 650 | |a Algebra | ||
| 650 | |a Matemáticas | ||
| 700 | |a Bonsangue, Marcello M. |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/book/10.1007/978-3-662-44124-4 |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 456808-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000456808 | ||