Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Detaylı Bibliyografya
Yazar:	Gibbons, J
Materyal Türü:	Record
Baskı/Yayın Bilgisi:	1999

Benzer Materyaller

Relating Algebraic and Coalgebraic Descriptions of Lenses
Yazar:: Gibbons, J, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Baskı/Yayın Bilgisi: (2002)

Conway games, algebraically and coalgebraically
Yazar:: Furio Honsell, ve diğerleri
Baskı/Yayın Bilgisi: (2011-09-01)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
Yazar:: Cirstea, C, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Algebra, coalgebra, and minimization in polynomial differential equations
Yazar:: Michele Boreale
Baskı/Yayın Bilgisi: (2019-02-01)

Coalgebraic aspects of bidirectional computation
Yazar:: Abou-Saleh, F, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Quivers of Bound Path Algebras and Bound Path Coalgebras
Yazar:: Intan Muchtadi Alamsyah, ve diğerleri
Baskı/Yayın Bilgisi: (2013-07-01)

LINEAR ALGEBRA : LECTURE NOTES /
Yazar:: Nor Haniza Sarmin, author 615523, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Coalgebraic Semantics for Probabilistic Logic Programming
Yazar:: Tao Gu, ve diğerleri
Baskı/Yayın Bilgisi: (2021-04-01)

Coalgebras for modelling observable behaviour of programs
Yazar:: William Steingartner, ve diğerleri
Baskı/Yayın Bilgisi: (2017-06-01)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2012)

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Yazar:: Nick Bezhanishvili, ve diğerleri
Baskı/Yayın Bilgisi: (2011-05-01)

Bases as Coalgebras
Yazar:: Bart Jacobs
Baskı/Yayın Bilgisi: (2013-09-01)

Rational streams coalgebraically
Yazar:: J. J. M. M. Rutten
Baskı/Yayın Bilgisi: (2008-09-01)

On coalgebras and final semantics
Yazar:: Worrell, J
Baskı/Yayın Bilgisi: (2000)

On the structure of categories of coalgebras
Yazar:: Johnstone, P, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

On coalgebra of real numbers
Yazar:: Pavlovic, D, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Coalgebraic Behavioral Metrics
Yazar:: Paolo Baldan, ve diğerleri
Baskı/Yayın Bilgisi: (2018-09-01)

Well-Pointed Coalgebras
Yazar:: Jiří Adámek, ve diğerleri
Baskı/Yayın Bilgisi: (2013-08-01)

Duality for powerset coalgebras
Yazar:: Guram Bezhanishvili, ve diğerleri
Baskı/Yayın Bilgisi: (2022-02-01)

Cofree compositions of coalgebras
Yazar:: Stefan Forcey, ve diğerleri
Baskı/Yayın Bilgisi: (2011-01-01)

Fuzzy Automata as Coalgebras
Yazar:: Ai Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Distributive categories of coalgebras
Yazar:: Jean-Paul Mavoungou
Baskı/Yayın Bilgisi: (2023-01-01)

Coalgebras on Digital Images
Yazar:: Sunyoung Lee, ve diğerleri
Baskı/Yayın Bilgisi: (2020-11-01)

Isomorphism Theorems for Coalgebras
Yazar:: Mavoungou Jean-Paul
Baskı/Yayın Bilgisi: (2019-09-01)

Coalgebraic Quantum Computation
Yazar:: Frank Roumen
Baskı/Yayın Bilgisi: (2014-07-01)

Extensional quotient coalgebras
Yazar:: Mavoungou Jean-Paul
Baskı/Yayın Bilgisi: (2017-12-01)

Chemical process calculations : lecture notes /
Yazar:: 253791 Asokan, K.
Baskı/Yayın Bilgisi: (2008)

On the final coalgebra of automatic sequences
Yazar:: Kupke, C, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Star product on the Lie coalgebra and its application for calculation of quantum integrals of motion
Yazar:: Anton Sergeevich Popov, ve diğerleri
Baskı/Yayın Bilgisi: (2013-12-01)

Calculating Functional Programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (1997)

Calculating Functional Programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2002)

Calculating functional programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2002)

The continuum as a final coalgebra
Yazar:: Pavlovic, D, ve diğerleri
Baskı/Yayın Bilgisi: (2002)

Guarded induction on final coalgebras
Yazar:: ́Pavlovic, D
Baskı/Yayın Bilgisi: (1998)

Coalgebraic Structure of Genetic Inheritance
Yazar:: Jianjun Tian, ve diğerleri
Baskı/Yayın Bilgisi: (2004-06-01)

A simplification functor for coalgebras
Yazar:: Maurice Kianpi, ve diğerleri
Baskı/Yayın Bilgisi: (2006-01-01)

Non-Deterministic Kleene Coalgebras
Yazar:: Alexandra Silva, ve diğerleri
Baskı/Yayın Bilgisi: (2010-09-01)

Completeness for the coalgebraic cover modality
Yazar:: Clemens Kupke, ve diğerleri
Baskı/Yayın Bilgisi: (2012-07-01)

Strongly Complete Logics for Coalgebras
Yazar:: Alexander Kurz, ve diğerleri
Baskı/Yayın Bilgisi: (2012-09-01)