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)