Introduction to bisimulation and coinduction
"Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intell...
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Cambridge, United Kingdom ; New York,USA :
Cambridge University Press,
2012.
|
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
Aspects of inductive logic
af: Hintikka, Jaakko, et al.
Udgivet: (1966)
af: Hintikka, Jaakko, et al.
Udgivet: (1966)
Mathematics and plausible reasonings
af: Pólya, George
Udgivet: (1954)
af: Pólya, George
Udgivet: (1954)
Logical foundations of probability
af: Carnap, Rudolf
Udgivet: (1950)
af: Carnap, Rudolf
Udgivet: (1950)
Mathematics of choice or how to count without counting
af: Niven, Ivan Morton
Udgivet: (1965)
af: Niven, Ivan Morton
Udgivet: (1965)
Matemáticas básicas
af: Taylor, Howard Edward, et al.
Udgivet: (1966)
af: Taylor, Howard Edward, et al.
Udgivet: (1966)
Discrete and combinatorial mathematics: an applied introduction
af: Grimaldi, Ralph P
Udgivet: (1985)
af: Grimaldi, Ralph P
Udgivet: (1985)
Lectures on a theory of computation and complexity over the reals
af: Blum, Lenore
Udgivet: (1990)
af: Blum, Lenore
Udgivet: (1990)
Computers and the Riemann hypothesis
af: Odlyzko, A. M
Udgivet: (1970)
af: Odlyzko, A. M
Udgivet: (1970)
Fundamentos de la matemática discreta
af: Gorbátov, Viacheslav A
Udgivet: (1988)
af: Gorbátov, Viacheslav A
Udgivet: (1988)
Scientific computing with MATLAB and Octave
af: Quarteroni, Alfio, et al.
Udgivet: (2010)
af: Quarteroni, Alfio, et al.
Udgivet: (2010)
Scientific computing with MATLAB and Octave
af: Quarteroni, Alfio, et al.
Udgivet: (2014)
af: Quarteroni, Alfio, et al.
Udgivet: (2014)
Matemáticas y razonamiento plausible
af: Pólya, George
Udgivet: (1966)
af: Pólya, George
Udgivet: (1966)
Veinte algoritmos: apuntes de Isabel Margarita Reyes de las clases dictadas en los Talleres de la Escuela de Arquitectura U.C.V. durante los años 1978-83
af: Iommi Amunátegui, Godofredo Tomás
Udgivet: (1988)
af: Iommi Amunátegui, Godofredo Tomás
Udgivet: (1988)
Matrix computations
af: Golub, Gene Howard, et al.
Udgivet: (1989)
af: Golub, Gene Howard, et al.
Udgivet: (1989)
Discrete mathematics for computer scientists
af: Truss, J. K
Udgivet: (1991)
af: Truss, J. K
Udgivet: (1991)
Matemáticas discretas
af: Ross, Kenneth A, et al.
Udgivet: (1990)
af: Ross, Kenneth A, et al.
Udgivet: (1990)
Estructuras de matemáticas discretas para la computación
af: Kolman, Bernard, et al.
Udgivet: (1986)
af: Kolman, Bernard, et al.
Udgivet: (1986)
Computational science and Engineering
af: Strang, Gilbert
Udgivet: (2007)
af: Strang, Gilbert
Udgivet: (2007)
Matemática discreta
af: Ferrando, J. C, et al.
Udgivet: (1995)
af: Ferrando, J. C, et al.
Udgivet: (1995)
Matrix computations
af: Golub, Gene Howard, et al.
Udgivet: (1996)
af: Golub, Gene Howard, et al.
Udgivet: (1996)
Matrix computations
af: Golub, Gene Howard, et al.
Udgivet: (2013)
af: Golub, Gene Howard, et al.
Udgivet: (2013)
La inducción en geometría
af: Goloviná, L. I
Udgivet: (1972)
af: Goloviná, L. I
Udgivet: (1972)
Inducción en la Geometría
af: Goloviná, L. I, et al.
Udgivet: (1976)
af: Goloviná, L. I, et al.
Udgivet: (1976)
Matemáticas discretas
af: Espinoza Armenta, Ramón
Udgivet: (2016)
af: Espinoza Armenta, Ramón
Udgivet: (2016)
Matemáticas discreta y combinatoria: introducción y aplicaciones
af: Grimaldi, Ralph P
Udgivet: (1989)
af: Grimaldi, Ralph P
Udgivet: (1989)
Matemáticas discreta y combinatoria: una introducción con aplicaciones
af: Grimaldi, Ralph P
Udgivet: (1997)
af: Grimaldi, Ralph P
Udgivet: (1997)
Y C de Newton
af: Iommi Amunátegui, Godofredo Tomás
Udgivet: (1987)
af: Iommi Amunátegui, Godofredo Tomás
Udgivet: (1987)
Introduction to Quantum Information Science
af: Vedral, Vlatko
Udgivet: (2006)
af: Vedral, Vlatko
Udgivet: (2006)
Essai sur la connaissance approchée
af: Bachelard, Gaston
Udgivet: (1968)
af: Bachelard, Gaston
Udgivet: (1968)
Introduction to Data Compression.
af: Sayood, Khalid
Udgivet: (2018)
af: Sayood, Khalid
Udgivet: (2018)
Discrete mathematics
af: Johnsonbaugh, Richard
Udgivet: (1993)
af: Johnsonbaugh, Richard
Udgivet: (1993)
Symbolic logic and language: a programmed text
af: Dickoff, James, et al.
Udgivet: (1965)
af: Dickoff, James, et al.
Udgivet: (1965)