Beeld op de omslag
QR code

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...

Volledige beschrijving

Bewaard in:
Coauteur: International Workshop on Coalgebraic Methods in Computer Science ( Grenoble, Francia)
Andere auteurs: Bonsangue, Marcello M. (edición) (edición)
Formaat: Conferentie akten Boek
Taal:Engels
Gepubliceerd in: Heidelberg, Alemania : Springer, 2014, c2014
Reeks:(Lecture Notes in Computer Science ; 8446)
Onderwerpen:
Codificación - > Teoría
Complejidad Computacional
Computadoras
Control - > Teoría
Inteligencia Artificial
Autómatas Matemáticos - > Teoría - > Tema Principal
Lógica Algebraica
Lógica Matemática - > Tema Principal
Modelos Matemáticos
Ingeniería Computacional
Algoritmos
Algebra
Matemáticas
Online toegang:Ver documento en línea
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
Samenvatting: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.
Fysieke beschrijving:1 libro electrónico en línea (XI, 129 p.)
1 recurso en línea
ISBN:978-3-662-44124-4
Toegang:Licencias ilimitadas

Gelijkaardige items