Cargando…

Graph structure and monadic second-order logic: a language-theoretic approach

Detalles Bibliográficos
Autores principales:	Courcelle, Bruno, Engelfriet, Joost
Lenguaje:	eng
Publicado:	Cambridge University Press 2012
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2634126

Ejemplares similares

The strange logic of random graphs
por: Spencer, Joel
Publicado: (2001)

Model-theoretic logics
por: Barwise, J, et al.
Publicado: (2017)

First order categorical logic: model-theoretical methods in the theory of Topoi and related categories
por: Makkai, Michael, et al.
Publicado: (1977)

Independence-Friendly Logic: A Game-Theoretic Approach
por: Mann, Allen L, et al.
Publicado: (2011)

First-order logic
por: Smullyan, Raymond M
Publicado: (1968)

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

Language, truth and logic in mathematics
por: Hintikka, Jaakko
Publicado: (1998)

Language, logic, and mathematics in Schopenhauer
por: Lemanski, Jens
Publicado: (2020)

Semigroups underlying first-order logic
por: Craig, William
Publicado: (2006)

Duality and definability in first order logic
por: Makkai, Michael
Publicado: (2014)

Games: unifying logic, language, and philosophy
por: Majer, Ondrej, et al.
Publicado: (2008)

Well-quasi orders in computation, logic, language and reasoning: a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
por: Schuster, Peter, et al.
Publicado: (2020)

First-order logic and automated theorem proving
por: Gries, David, et al.
Publicado: (1990)

First order elliptic systems: a function theoretic approach
por: Gilbert, Robert P, et al.
Publicado: (1983)

Graph-theoretic techniques for web content mining
por: Schenker, Adam, et al.
Publicado: (2005)

Combinatorial and graph-theoretical problems in linear algebra
por: Brualdi, Richard, et al.
Publicado: (1993)

Logic, language and reasoning: essays in honour of Dov Gabbay
por: Ohlbach, Hans, et al.
Publicado: (1999)

NATO Advanced Study Institute on Graphs and Order
por: Rival, Ivan
Publicado: (1985)

Logic and structure
por: Dalen, Dirk
Publicado: (1983)

Logic and structure
por: Dan Dalen, Dirk
Publicado: (1997)

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

Logic and structure
por: van Dalen, Dirk
Publicado: (2008)

Logic and structure
por: Dalen, Dirk
Publicado: (1980)

Toward an anthropology of graphing: semiotic and activity-theoretic perspectives
por: Roth, Wolff-Michael
Publicado: (1974)

2nd International Workshop on Graphs, Operads, Logic Parallel Computational and Mathematical Physics
Publicado: (2002)

Subsystems of second order arithmetic
por: Simpson, Stephen G
Publicado: (2009)

Second order PDE’s in finite and infinite dimension: a probabilistic approach
por: Cerrai, Sandra
Publicado: (2001)

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

Monad: introducing the MSH command shell and language
por: Oakley, Andy
Publicado: (2005)

Quantum logic in algebraic approach
por: Rédei, Miklós
Publicado: (1998)

Nonlinear elliptic equations of the second order
por: Han, Qing
Publicado: (2016)

Linear differential transformations of the second order
por: Boruvka, Otakar
Publicado: (1971)

The logical structure of mathematical physics
por: Sneed, Joseph D
Publicado: (1971)

The logical structure of mathematical physics
por: Sneed, Joseph D
Publicado: (1979)

Chaotic logic: language, thought, and reality from the perspective of complex systems science
por: Goertzel, Ben
Publicado: (1994)

Carleman estimates for second order partial differential operators and applications: a unified approach
por: Fu, Xiaoyu, et al.
Publicado: (2019)

Computability, complexity, and languages: fundamentals of theoretical computer science
por: Davis, Martin D, et al.
Publicado: (1983)

Second order equations with nonnegative characteristic form
por: Olejnik, A O, et al.
Publicado: (1973)

Elliptic partial differential equations of second order
por: Gilbarg, David G, et al.
Publicado: (1977)

Elliptic partial differential equations of second order
por: Gilbarg, David, et al.
Publicado: (2001)

Cannot write session to /tmp/vufind_sessions/sess_dgdgh38i68qvi94p8k8ocdaihe