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...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Cambridge, United Kingdom ; New York,USA :
Cambridge University Press,
2012.
|
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
Aspects of inductive logic
per: Hintikka, Jaakko, et al.
Publicat: (1966)
per: Hintikka, Jaakko, et al.
Publicat: (1966)
Mathematics and plausible reasonings
per: Pólya, George
Publicat: (1954)
per: Pólya, George
Publicat: (1954)
Logical foundations of probability
per: Carnap, Rudolf
Publicat: (1950)
per: Carnap, Rudolf
Publicat: (1950)
Mathematics of choice or how to count without counting
per: Niven, Ivan Morton
Publicat: (1965)
per: Niven, Ivan Morton
Publicat: (1965)
Matemáticas básicas
per: Taylor, Howard Edward, et al.
Publicat: (1966)
per: Taylor, Howard Edward, et al.
Publicat: (1966)
Discrete and combinatorial mathematics: an applied introduction
per: Grimaldi, Ralph P
Publicat: (1985)
per: Grimaldi, Ralph P
Publicat: (1985)
Lectures on a theory of computation and complexity over the reals
per: Blum, Lenore
Publicat: (1990)
per: Blum, Lenore
Publicat: (1990)
Computers and the Riemann hypothesis
per: Odlyzko, A. M
Publicat: (1970)
per: Odlyzko, A. M
Publicat: (1970)
Fundamentos de la matemática discreta
per: Gorbátov, Viacheslav A
Publicat: (1988)
per: Gorbátov, Viacheslav A
Publicat: (1988)
Scientific computing with MATLAB and Octave
per: Quarteroni, Alfio, et al.
Publicat: (2010)
per: Quarteroni, Alfio, et al.
Publicat: (2010)
Scientific computing with MATLAB and Octave
per: Quarteroni, Alfio, et al.
Publicat: (2014)
per: Quarteroni, Alfio, et al.
Publicat: (2014)
Matemáticas y razonamiento plausible
per: Pólya, George
Publicat: (1966)
per: Pólya, George
Publicat: (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
per: Iommi Amunátegui, Godofredo Tomás
Publicat: (1988)
per: Iommi Amunátegui, Godofredo Tomás
Publicat: (1988)
Matrix computations
per: Golub, Gene Howard, et al.
Publicat: (1989)
per: Golub, Gene Howard, et al.
Publicat: (1989)
Discrete mathematics for computer scientists
per: Truss, J. K
Publicat: (1991)
per: Truss, J. K
Publicat: (1991)
Matemáticas discretas
per: Ross, Kenneth A, et al.
Publicat: (1990)
per: Ross, Kenneth A, et al.
Publicat: (1990)
Estructuras de matemáticas discretas para la computación
per: Kolman, Bernard, et al.
Publicat: (1986)
per: Kolman, Bernard, et al.
Publicat: (1986)
Computational science and Engineering
per: Strang, Gilbert
Publicat: (2007)
per: Strang, Gilbert
Publicat: (2007)
Matemática discreta
per: Ferrando, J. C, et al.
Publicat: (1995)
per: Ferrando, J. C, et al.
Publicat: (1995)
Matrix computations
per: Golub, Gene Howard, et al.
Publicat: (1996)
per: Golub, Gene Howard, et al.
Publicat: (1996)
Matrix computations
per: Golub, Gene Howard, et al.
Publicat: (2013)
per: Golub, Gene Howard, et al.
Publicat: (2013)
La inducción en geometría
per: Goloviná, L. I
Publicat: (1972)
per: Goloviná, L. I
Publicat: (1972)
Inducción en la Geometría
per: Goloviná, L. I, et al.
Publicat: (1976)
per: Goloviná, L. I, et al.
Publicat: (1976)
Matemáticas discretas
per: Espinoza Armenta, Ramón
Publicat: (2016)
per: Espinoza Armenta, Ramón
Publicat: (2016)
Matemáticas discreta y combinatoria: introducción y aplicaciones
per: Grimaldi, Ralph P
Publicat: (1989)
per: Grimaldi, Ralph P
Publicat: (1989)
Matemáticas discreta y combinatoria: una introducción con aplicaciones
per: Grimaldi, Ralph P
Publicat: (1997)
per: Grimaldi, Ralph P
Publicat: (1997)
Y C de Newton
per: Iommi Amunátegui, Godofredo Tomás
Publicat: (1987)
per: Iommi Amunátegui, Godofredo Tomás
Publicat: (1987)
Introduction to Quantum Information Science
per: Vedral, Vlatko
Publicat: (2006)
per: Vedral, Vlatko
Publicat: (2006)
Essai sur la connaissance approchée
per: Bachelard, Gaston
Publicat: (1968)
per: Bachelard, Gaston
Publicat: (1968)
Introduction to Data Compression.
per: Sayood, Khalid
Publicat: (2018)
per: Sayood, Khalid
Publicat: (2018)
Discrete mathematics
per: Johnsonbaugh, Richard
Publicat: (1993)
per: Johnsonbaugh, Richard
Publicat: (1993)
Symbolic logic and language: a programmed text
per: Dickoff, James, et al.
Publicat: (1965)
per: Dickoff, James, et al.
Publicat: (1965)