Cargando…

Logics in computer science: a study on extensions of temporal and strategic logics

Detalles Bibliográficos
Autor principal:	Mogavero, Fabio
Lenguaje:	eng
Publicado:	Springer 2013
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.2991/978-94-91216-95-4 http://cds.cern.ch/record/1566195

Ejemplares similares

Logicism renewed: logical foundations for mathematics and computer science
por: Gilmore, Paul C
Publicado: (2005)

Linear logic in computer science
por: Ehrhard, Thomas, et al.
Publicado: (2004)

Advances in temporal logic
por: Barringer, Howard, et al.
Publicado: (2000)

International Symposium on Logical Foundations of Computer Science
por: Artemov, Sergei, et al.
Publicado: (2020)

Computability and logic
por: Boolos, George S, et al.
Publicado: (2007)

Computability and Logic
por: Boolos, George S, et al.
Publicado: (2002)

Computability and Logic
por: Boolos, George S, et al.
Publicado: (2007)

Logic and computations
por: Jervell, Herman Ruge
Publicado: (2012)

Logic from Computer Science : Proceedings of a Workshop
por: Moschovakis, Yiannis
Publicado: (1992)

Logic functions and equations: binary models for computer science
por: Posthoff, Christian, et al.
Publicado: (2004)

Foundations of logic and mathematics: applications to computer science and cryptography
por: Nievergelt, Yves
Publicado: (2002)

Logic functions and equations: binary models for computer science
por: Posthoff, Christian, et al.
Publicado: (2019)

Probability theory: the logic of science
por: Jaynes, E T, et al.
Publicado: (2003)

Logic, language and computation
por: Akama, Seiki
Publicado: (1997)

Computability, complexity, logic
por: Börger, Egon
Publicado: (1989)

Logic, computers, and sets
por: Wang Hao
Publicado: (1970)

Logic for computer scientists
por: Schöning, Uwe
Publicado: (2008)

Quantum computation and logic: how quantum computers have inspired logical investigations
por: Dalla Chiara, Maria Luisa, et al.
Publicado: (2018)

Logic, mathematics, and computer science: modern foundations with practical applications
por: Nievergelt, Yves
Publicado: (2015)

Logical studies of paraconsistent reasoning in science and mathematics
por: Andreas, Holger, et al.
Publicado: (2016)

Fuzzy logic applications in engineering science
por: Harris, J, et al.
Publicado: (2006)

Mathematical logic: foundations for information science
por: Li, Wei
Publicado: (2014)

The computational complexity of logical theories
por: Ferrante, Jeanne, et al.
Publicado: (1979)

A computational logic handbook: formerly notes and reports in computer science and applied mathematics
por: Boyer, Robert S, et al.
Publicado: (1988)

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Logic, action and cognition: essays in philosophical logic
por: Ejerhed, Eva, et al.
Publicado: (1997)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C J, et al.
Publicado: (1994)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C L, et al.
Publicado: (1994)

Classical Mathematical Logic: The Semantic Foundations of Logic
por: Epstein, Richard L, et al.
Publicado: (2011)

Functions and generality of logic: reflections on Dedekind's and Frege's logicisms
por: Benis-Sinaceur, Hourya, et al.
Publicado: (2015)

Logic colloquium '99: lecture notes in logic 17
por: Van Eijck, Jan, et al.
Publicado: (2004)

Logic colloquium '02: lecture notes in logic 27
por: Chatzidakis, ZoÃ©, et al.
Publicado: (2006)

Rethinking logic: logic in relation to mathematics, evolution, and method
por: Cellucci, Carlo
Publicado: (2014)

Mathematics, computer science and logic: a never ending story : the Bruno Buchberger Festschrift
por: Paule, Peter
Publicado: (2013)

Computation, logic, philosophy: a collection of essays
por: Wang, Hao
Publicado: (1989)

Logic as a tool: a guide to formal logical reasoning
por: Goranko, Valentin
Publicado: (2015)

Dependence logic: a new approach to independence friendly logic
por: Väänänen, Jouko
Publicado: (2007)

Logic and Structure
por: Dalen, Dirk
Publicado: (2013)

Internal logic
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Logical labyrinths
por: Smullyan, Raymond
Publicado: (2008)

Cannot write session to /tmp/vufind_sessions/sess_e6tdtati15o74uc0rmitbk02pb