Coalgebraic Methods in Computer Science
Editat de Daniela Petri¿an, Jurriaan Roten Limba Engleză Paperback – 20 aug 2020
The 9 revised full papers were carefully reviewed and selected from 13 submissions. Also included is one invited talk. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
Preț: 315.28 lei
Preț vechi: 394.11 lei
-20%
Puncte Express: 473
Preț estimativ în valută:
55.76€ • 64.44$ • 48.12£
55.76€ • 64.44$ • 48.12£
Carte tipărită la comandă
Livrare economică 25 aprilie-09 mai
Specificații
ISBN-13: 9783030572006
ISBN-10: 3030572005
Pagini: 220
Ilustrații: XV, 201 p. 360 illus., 12 illus. in color.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.34 kg
Ediția:1st edition 2020
Editura: Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3030572005
Pagini: 220
Ilustrații: XV, 201 p. 360 illus., 12 illus. in color.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.34 kg
Ediția:1st edition 2020
Editura: Springer
Locul publicării:Cham, Switzerland
Cuprins
The Theory of Universal Graphs for Games: Past and Future.- Approximate coalgebra homomorphisms and approximate solutions.- Duality for Instantial Neighbourhood Logic via Coalgebra.- Free-algebra functors from a coalgebraic perspective.- Learning Automata with Side-Effects.- De Finetti's Construction as a Categorical Limit.- Injective Objects and Fibered Codensity Liftings.- Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas.- A categorical approach to secure compilation.- Semantics for rst-order a ne inductive datatypes via slice categories.