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)