Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Bibliographic Details
Published in:	Springer e-books
Main Author:	Grädel, Erich
Corporate Author:	SpringerLink (Online service)
Other Authors:	Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten, Spencer, Joel, Vardi, Moshe Y., Venema, Yde, Weinstein, Scott
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:	Texts in Theoretical Computer Science an EATCS Series,
Subjects:	Computer Science Database management Logic design Logic, Symbolic and mathematical Software engineering Computation by Abstract Devices Database Management Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations Software Engineering
Online Access:	http://dx.doi.org/10.1007/3-540-68804-8 Перейти в каталог НБ ТГУ

Similar Items

Inconsistency Tolerance
by: Bertossi, Leopoldo
Published: (2005)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
by: Artemov, Sergei N.
Published: (2007)

Finite Model Theory
by: Ebbinghaus, Heinz-Dieter
Published: (2006)

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Published: (2013)

Mathematical Problems from Applied Logic I Logics for the XXIst Century /
by: Gabbay, Dov M.
Published: (2006)

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Mathematical Logic Foundations for Information Science /
by: Li, Wei
Published: (2014)

Notes on Set Theory
by: Moschovakis, Yiannis
Published: (2006)

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
Published: (2015)

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
by: Carnielli, Walter
Published: (2008)

Institution-independent Model Theory
by: Diaconescu, Răzvan
Published: (2008)

Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume /
Published: (2014)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by: de Vrijer, Roel
Published: (2005)

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
by: Duparc, Jacques
Published: (2007)

Computer Science Logic (vol. # 4207) 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
by: Ésik, Zoltán
Published: (2006)

Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
by: Ong, Luke
Published: (2005)

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Mechanizing Mathematical Reasoning Essays in Honor of JГ¶rg H. Siekmann on the Occasion of His 60th Birthday
by: Hutter, Dieter
Published: (2005)

Logica Volume 1 Dimostrazioni e modelli al primo ordine /
by: Abrusci, Vito Michele, et al.
Published: (2014)

Logica Universalis Towards a General Theory of Logic /
by: Beziau, Jean-Yves
Published: (2005)

Logica Universalis Towards a General Theory of Logic /
by: Beziau, Jean-Yves
Published: (2007)

Adapting Proofs-as-Programs The Curry-Howard Protocol /
by: Poernomo, Iman Hafiz
Published: (2005)

Categories for Software Engineering
by: Fiadeiro, José Luiz
Published: (2005)

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
Published: (2013)

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings /
Published: (2014)

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
Published: (2014)

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
Published: (2013)

Advances in Natural Deduction A Celebration of Dag Prawitz's Work /
Published: (2014)

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Published: (2013)

The Life and Work of Leon Henkin Essays on His Contributions /
Published: (2014)

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Published: (2013)

Information and Knowledge A Constructive Type-theoretical Approach /
by: Primiero, Giuseppe
Published: (2008)

Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /
Published: (2014)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Published: (2013)

A Modern Perspective on Type Theory From its Origins until Today /
by: Kamareddine, Fairouz
Published: (2005)

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
Published: (2015)

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory /
by: Lau, Dietlinde
Published: (2006)

Reactive Kripke Semantics
by: Gabbay, Dov M.
Published: (2013)

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
by: Carnielli, Walter
Published: (2008)

David Makinson on Classical Methods for Non-Classical Problems
Published: (2014)