Koalgebraische Methoden in der Informatik: 15. IFIP WG 1.3 International
88,34 €
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.
Jetzt bei Ebay:
![Produktbild - Analytic Methods in Systems and Software Testing by Ron S. Kenett [Hardback]](https://i.ebayimg.com/thumbs/images/g/vgsAAeSwiKJoNzlp/s-l140.jpg)
