Hasuo Coalgebraic Methods in Computer Science 9783319403694

Варианты приобретения

Цена: 59630.00T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: 193 шт.
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Hasuo
Название: Coalgebraic Methods in Computer Science
ISBN: 9783319403694
Издательство: Springer
Классификация:

Математика для специалистов в области теории вычислительных систем

Искусственный интеллект

Разработка и эксплуатационная простота пользовательского интерфейса

ISBN-10: 3319403699
Обложка/Формат: Paperback
Страницы: 235
Вес: 0.39 кг.
Дата издания: 2016
Серия: Theoretical Computer Science and General Issues
Язык: English
Иллюстрации: 5 black & white illustrations, biography
Размер: 234 x 156 x 13
Читательская аудитория: General (us: trade)
Основная тема: Computer Science
Подзаголовок: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.
Дополнительное описание:

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

Coalgebraic Methods in Computer Science, Hasuo