Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Gibbons, J
Формат:	Record
Хэвлэсэн:	1999

Ижил төстэй зүйлс

Relating Algebraic and Coalgebraic Descriptions of Lenses
-н: Gibbons, J, зэрэг
Хэвлэсэн: (2012)

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Хэвлэсэн: (2002)

Conway games, algebraically and coalgebraically
-н: Furio Honsell, зэрэг
Хэвлэсэн: (2011-09-01)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
-н: Cirstea, C, зэрэг
Хэвлэсэн: (2006)

Algebra, coalgebra, and minimization in polynomial differential equations
-н: Michele Boreale
Хэвлэсэн: (2019-02-01)

Coalgebraic aspects of bidirectional computation
-н: Abou-Saleh, F, зэрэг
Хэвлэсэн: (2017)

Quivers of Bound Path Algebras and Bound Path Coalgebras
-н: Intan Muchtadi Alamsyah, зэрэг
Хэвлэсэн: (2013-07-01)

LINEAR ALGEBRA : LECTURE NOTES /
-н: Nor Haniza Sarmin, author 615523, зэрэг
Хэвлэсэн: (2022)

Coalgebraic Semantics for Probabilistic Logic Programming
-н: Tao Gu, зэрэг
Хэвлэсэн: (2021-04-01)

Coalgebras for modelling observable behaviour of programs
-н: William Steingartner, зэрэг
Хэвлэсэн: (2017-06-01)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
-н: Gibbons, J
Хэвлэсэн: (2012)

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
-н: Nick Bezhanishvili, зэрэг
Хэвлэсэн: (2011-05-01)

Bases as Coalgebras
-н: Bart Jacobs
Хэвлэсэн: (2013-09-01)

Rational streams coalgebraically
-н: J. J. M. M. Rutten
Хэвлэсэн: (2008-09-01)

On coalgebras and final semantics
-н: Worrell, J
Хэвлэсэн: (2000)

On the structure of categories of coalgebras
-н: Johnstone, P, зэрэг
Хэвлэсэн: (2001)

On coalgebra of real numbers
-н: Pavlovic, D, зэрэг
Хэвлэсэн: (1999)

Coalgebraic Behavioral Metrics
-н: Paolo Baldan, зэрэг
Хэвлэсэн: (2018-09-01)

Well-Pointed Coalgebras
-н: Jiří Adámek, зэрэг
Хэвлэсэн: (2013-08-01)

Duality for powerset coalgebras
-н: Guram Bezhanishvili, зэрэг
Хэвлэсэн: (2022-02-01)

Cofree compositions of coalgebras
-н: Stefan Forcey, зэрэг
Хэвлэсэн: (2011-01-01)

Fuzzy Automata as Coalgebras
-н: Ai Liu, зэрэг
Хэвлэсэн: (2021-01-01)

Distributive categories of coalgebras
-н: Jean-Paul Mavoungou
Хэвлэсэн: (2023-01-01)

Coalgebras on Digital Images
-н: Sunyoung Lee, зэрэг
Хэвлэсэн: (2020-11-01)

Isomorphism Theorems for Coalgebras
-н: Mavoungou Jean-Paul
Хэвлэсэн: (2019-09-01)

Coalgebraic Quantum Computation
-н: Frank Roumen
Хэвлэсэн: (2014-07-01)

Extensional quotient coalgebras
-н: Mavoungou Jean-Paul
Хэвлэсэн: (2017-12-01)

Chemical process calculations : lecture notes /
-н: 253791 Asokan, K.
Хэвлэсэн: (2008)

On the final coalgebra of automatic sequences
-н: Kupke, C, зэрэг
Хэвлэсэн: (2011)

Star product on the Lie coalgebra and its application for calculation of quantum integrals of motion
-н: Anton Sergeevich Popov, зэрэг
Хэвлэсэн: (2013-12-01)

Calculating Functional Programs
-н: Gibbons, J
Хэвлэсэн: (1997)

Calculating Functional Programs
-н: Gibbons, J
Хэвлэсэн: (2002)

Calculating functional programs
-н: Gibbons, J
Хэвлэсэн: (2002)

The continuum as a final coalgebra
-н: Pavlovic, D, зэрэг
Хэвлэсэн: (2002)

Guarded induction on final coalgebras
-н: ́Pavlovic, D
Хэвлэсэн: (1998)

Coalgebraic Structure of Genetic Inheritance
-н: Jianjun Tian, зэрэг
Хэвлэсэн: (2004-06-01)

A simplification functor for coalgebras
-н: Maurice Kianpi, зэрэг
Хэвлэсэн: (2006-01-01)

Non-Deterministic Kleene Coalgebras
-н: Alexandra Silva, зэрэг
Хэвлэсэн: (2010-09-01)

Completeness for the coalgebraic cover modality
-н: Clemens Kupke, зэрэг
Хэвлэсэн: (2012-07-01)

Strongly Complete Logics for Coalgebras
-н: Alexander Kurz, зэрэг
Хэвлэсэн: (2012-09-01)