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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, United Kingdom ; New York,USA :
Cambridge University Press,
2012.
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Aspects of inductive logic
von: Hintikka, Jaakko, et al.
Veröffentlicht: (1966)
von: Hintikka, Jaakko, et al.
Veröffentlicht: (1966)
Mathematics and plausible reasonings
von: Pólya, George
Veröffentlicht: (1954)
von: Pólya, George
Veröffentlicht: (1954)
Logical foundations of probability
von: Carnap, Rudolf
Veröffentlicht: (1950)
von: Carnap, Rudolf
Veröffentlicht: (1950)
Mathematics of choice or how to count without counting
von: Niven, Ivan Morton
Veröffentlicht: (1965)
von: Niven, Ivan Morton
Veröffentlicht: (1965)
Matemáticas básicas
von: Taylor, Howard Edward, et al.
Veröffentlicht: (1966)
von: Taylor, Howard Edward, et al.
Veröffentlicht: (1966)
Discrete and combinatorial mathematics: an applied introduction
von: Grimaldi, Ralph P
Veröffentlicht: (1985)
von: Grimaldi, Ralph P
Veröffentlicht: (1985)
Lectures on a theory of computation and complexity over the reals
von: Blum, Lenore
Veröffentlicht: (1990)
von: Blum, Lenore
Veröffentlicht: (1990)
Computers and the Riemann hypothesis
von: Odlyzko, A. M
Veröffentlicht: (1970)
von: Odlyzko, A. M
Veröffentlicht: (1970)
Fundamentos de la matemática discreta
von: Gorbátov, Viacheslav A
Veröffentlicht: (1988)
von: Gorbátov, Viacheslav A
Veröffentlicht: (1988)
Scientific computing with MATLAB and Octave
von: Quarteroni, Alfio, et al.
Veröffentlicht: (2010)
von: Quarteroni, Alfio, et al.
Veröffentlicht: (2010)
Scientific computing with MATLAB and Octave
von: Quarteroni, Alfio, et al.
Veröffentlicht: (2014)
von: Quarteroni, Alfio, et al.
Veröffentlicht: (2014)
Matemáticas y razonamiento plausible
von: Pólya, George
Veröffentlicht: (1966)
von: Pólya, George
Veröffentlicht: (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
von: Iommi Amunátegui, Godofredo Tomás
Veröffentlicht: (1988)
von: Iommi Amunátegui, Godofredo Tomás
Veröffentlicht: (1988)
Matrix computations
von: Golub, Gene Howard, et al.
Veröffentlicht: (1989)
von: Golub, Gene Howard, et al.
Veröffentlicht: (1989)
Discrete mathematics for computer scientists
von: Truss, J. K
Veröffentlicht: (1991)
von: Truss, J. K
Veröffentlicht: (1991)
Matemáticas discretas
von: Ross, Kenneth A, et al.
Veröffentlicht: (1990)
von: Ross, Kenneth A, et al.
Veröffentlicht: (1990)
Estructuras de matemáticas discretas para la computación
von: Kolman, Bernard, et al.
Veröffentlicht: (1986)
von: Kolman, Bernard, et al.
Veröffentlicht: (1986)
Computational science and Engineering
von: Strang, Gilbert
Veröffentlicht: (2007)
von: Strang, Gilbert
Veröffentlicht: (2007)
Matemática discreta
von: Ferrando, J. C, et al.
Veröffentlicht: (1995)
von: Ferrando, J. C, et al.
Veröffentlicht: (1995)
Matrix computations
von: Golub, Gene Howard, et al.
Veröffentlicht: (1996)
von: Golub, Gene Howard, et al.
Veröffentlicht: (1996)
Matrix computations
von: Golub, Gene Howard, et al.
Veröffentlicht: (2013)
von: Golub, Gene Howard, et al.
Veröffentlicht: (2013)
La inducción en geometría
von: Goloviná, L. I
Veröffentlicht: (1972)
von: Goloviná, L. I
Veröffentlicht: (1972)
Inducción en la Geometría
von: Goloviná, L. I, et al.
Veröffentlicht: (1976)
von: Goloviná, L. I, et al.
Veröffentlicht: (1976)
Matemáticas discretas
von: Espinoza Armenta, Ramón
Veröffentlicht: (2016)
von: Espinoza Armenta, Ramón
Veröffentlicht: (2016)
Matemáticas discreta y combinatoria: introducción y aplicaciones
von: Grimaldi, Ralph P
Veröffentlicht: (1989)
von: Grimaldi, Ralph P
Veröffentlicht: (1989)
Matemáticas discreta y combinatoria: una introducción con aplicaciones
von: Grimaldi, Ralph P
Veröffentlicht: (1997)
von: Grimaldi, Ralph P
Veröffentlicht: (1997)
Y C de Newton
von: Iommi Amunátegui, Godofredo Tomás
Veröffentlicht: (1987)
von: Iommi Amunátegui, Godofredo Tomás
Veröffentlicht: (1987)
Introduction to Quantum Information Science
von: Vedral, Vlatko
Veröffentlicht: (2006)
von: Vedral, Vlatko
Veröffentlicht: (2006)
Essai sur la connaissance approchée
von: Bachelard, Gaston
Veröffentlicht: (1968)
von: Bachelard, Gaston
Veröffentlicht: (1968)
Introduction to Data Compression.
von: Sayood, Khalid
Veröffentlicht: (2018)
von: Sayood, Khalid
Veröffentlicht: (2018)
Discrete mathematics
von: Johnsonbaugh, Richard
Veröffentlicht: (1993)
von: Johnsonbaugh, Richard
Veröffentlicht: (1993)
Symbolic logic and language: a programmed text
von: Dickoff, James, et al.
Veröffentlicht: (1965)
von: Dickoff, James, et al.
Veröffentlicht: (1965)
Matemáticas discretas
von: Johnsonbaugh, Richard
Veröffentlicht: (1988)
von: Johnsonbaugh, Richard
Veröffentlicht: (1988)
Matemáticas discretas
von: Johnsonbaugh, Richard
Veröffentlicht: (1995)
von: Johnsonbaugh, Richard
Veröffentlicht: (1995)
Basic mathematics
von: Lang, Serge
Veröffentlicht: (1971)
von: Lang, Serge
Veröffentlicht: (1971)
La inducción.
von: Estrella, Jorge
Veröffentlicht: (1978)
von: Estrella, Jorge
Veröffentlicht: (1978)
Inducción en la geometría
von: Goloviná, L. I, et al.
Veröffentlicht: (1976)
von: Goloviná, L. I, et al.
Veröffentlicht: (1976)
Algebra y Trigonometria 1
von: González Guzmán, Jorge Eduardo
Veröffentlicht: (2011)
von: González Guzmán, Jorge Eduardo
Veröffentlicht: (2011)
Lógica, lingüística y matemáticas
von: Serrano, Sebastián
Veröffentlicht: (1977)
von: Serrano, Sebastián
Veröffentlicht: (1977)
Introduction to Maple
von: Heck, André
Veröffentlicht: (1993)
von: Heck, André
Veröffentlicht: (1993)