Algebra and Coalgebra in Computer Science, Alexander Kurz; Marina Lenisa

Автор: Gerdt
Название: Computer Algebra in Scientific Computing
ISBN: 3319456407 ISBN-13(EAN): 9783319456409
Издательство: Springer
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest, Romania, in September 2016. They deal with cutting-edge research in all major disciplines of Computer Algebra.

Автор: Jos? Luis Fiadeiro; Neil Harman; Markus Roggenbach
Название: Algebra and Coalgebra in Computer Science
ISBN: 3540286209 ISBN-13(EAN): 9783540286202
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. This book addresses two basic areas of application for algebras and coalgebras - as mathematical objects as well as their application in computer science.

Автор: Hasuo
Название: Coalgebraic Methods in Computer Science
ISBN: 3319403699 ISBN-13(EAN): 9783319403694
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Fixed Points of Functors - A Survey.- Compositional Coinduction with Sized Types.- Lawvere Theories as Composed PROPs.- Transitivity and Difunctionality of Bisimulations.- Affine Monads and Side-Effect-Freeness.- Duality of Equations and Coequations via Contravariant Adjunctions.- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness.- Product Rules and Distributive Laws.- On the Logic of Generalised Metric Spaces.- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors.- Coalgebraic Completeness-via-Canonicity: Principles and Applications.- Relational Lattices via Duality.- On Local Characterization of Global Timed Bisimulation for Abstract.

Автор: Vladimir P. Gerdt; Ernst Mayr; Evgenii V. Vorozhts
Название: Computer Algebra in Scientific Computing
ISBN: 3642041027 ISBN-13(EAN): 9783642041020
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC 2009, held in Kobe, Japan, in September 2009.