Finite model theory and its applications. Texts in Theoretical Computer Science

, , , , &
Bulletin of Symbolic Logic 16 (3):406-407 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Finite Model Theory and its Applications.Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein - 2007 - Springer.
Elements of Finite Model Theory.Leonid Libkin - 2004 - Springer.
Finite conformal hypergraph covers and Gaifman cliques in finite structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.
Homotopy theoretic models of identity types.Steve Awodey & Michael A. Warren - unknown
Computer Simulation in the Physical Sciences.Fritz Rohrlich - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:507-518.
Logic: from foundation to applications: European logic colloquium.Wilfrid Hodges (ed.) - 1996 - New York: Oxford University Press.
Finite approximation of measure and integration.Julian Webster - 2006 - Annals of Pure and Applied Logic 137 (1-3):439-449.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
Almost everywhere equivalence of logics in finite model theory.Lauri Hella, Phokion G. Kolaitis & Kerkko Luosto - 1996 - Bulletin of Symbolic Logic 2 (4):422-443.
Finite and Infinite Model Theory-A Historical Perspective.John Baldwin - 2000 - Logic Journal of the IGPL 8 (5):605-628.
How Digital Computer Simulations Explain Real‐World Processes.Ulrich Krohs - 2008 - International Studies in the Philosophy of Science 22 (3):277 – 292.
Simulation and the Philosophy of Science: Computationally Intensive Studies of Complex Physical Systems.Eric Bernhard Winsberg - 1999 - Dissertation, Indiana University
Forcing in Finite Structures.Domenico Zambella - 1997 - Mathematical Logic Quarterly 43 (3):401-412.
Model theory of finite fields and pseudo-finite fields.Zoé Chatzidakis - 1997 - Annals of Pure and Applied Logic 88 (2-3):95-108.
Infinite games played on finite graphs.Robert McNaughton - 1993 - Annals of Pure and Applied Logic 65 (2):149-184.

Analytics

Added to PP
2015-02-04

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references