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)