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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Συγγραφή απο Οργανισμό/Αρχή:	International Workshop on Coalgebraic Methods in Computer Science ( Grenoble, Francia)
Άλλοι συγγραφείς:	Bonsangue, Marcello M. (edición) (edición)
Μορφή:	Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:	Αγγλικά
Έκδοση:	Heidelberg, Alemania : Springer, 2014, c2014
Σειρά:	(Lecture Notes in Computer Science ; 8446)
Θέματα:	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:	Ver documento en línea
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!