Algebra and Coalgebra in Computer Science, Jos? Luis Fiadeiro; Neil Harman; Markus Roggenbach

Автор: Hasuo
Название: Coalgebraic Methods in Computer Science
ISBN: 3319403699 ISBN-13(EAN): 9783319403694
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Alexander Kurz; Marina Lenisa
Название: Algebra and Coalgebra in Computer Science
ISBN: 3642037402 ISBN-13(EAN): 9783642037405
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Gerdt
Название: Computer Algebra in Scientific Computing
ISBN: 3319456407 ISBN-13(EAN): 9783319456409
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.