Imagen de Portada

Finite Model Theory and Its Applications

Guardado en:

Autor Principal:	Grädel, Erich.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Kolaitis, Phokion G., Libkin, Leonid., Marx, Maarten., Spencer, Joel., Vardi, Moshe Y., Venema, Yde., Weinstein, Scott.
Formato:	Electrónico
Idioma:	English
Publicado:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:	Texts in Theoretical Computer Science an EATCS Series,
Materias:	Computer science Software engineering Logic design Database management Logic, Symbolic and mathematical Computer Science Mathematical Logic and Formal Languages Software Engineering Computation by Abstract Devices Logics and Meanings of Programs Database Management Mathematical Logic and Foundations
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Finite Model Theory and Its Applications
por: Grädel, Erich.
Publicado: (2007)

Inconsistency Tolerance
por: Bertossi, Leopoldo.
Publicado: (2005)

Finite Model Theory
por: Ebbinghaus, Heinz-Dieter.
Publicado: (2006)

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

Adapting Proofs-as-Programs The Curry-Howard Protocol /
por: Poernomo, Iman Hafiz.
Publicado: (2005)

Categories for Software Engineering
por: Fiadeiro, José Luiz.
Publicado: (2005)

A Theory of Distributed Objects Asynchrony Mobility Groups Components /
por: Caromel, Denis.
Publicado: (2005)

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /
por: Treharne, Helen.
Publicado: (2005)

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings /
por: Julliand, Jacques.
Publicado: (2006)

Logica Universalis Towards a General Theory of Logic /
por: Beziau, Jean-Yves.
Publicado: (2005)

Logica Universalis Towards a General Theory of Logic /
por: Beziau, Jean-Yves.
Publicado: (2007)

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /
por: Barkaoui, Kamel.
Publicado: (2006)

Theoretical Aspects of Computing ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
por: Jones, Cliff B.
Publicado: (2007)

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers /
por: Liu, Zhiming.
Publicado: (2005)

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

Finite Model Theory
por: Ebbinghaus, Heinz-Dieter.
Publicado: (2006)

Parameterized Complexity Theory
por: Flum, Jörg.
Publicado: (2006)

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
por: Sassone, Vladimiro.
Publicado: (2005)

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings /
por: Aceto, Luca.
Publicado: (2006)

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings /
por: Uustalu, Tarmo.
Publicado: (2006)

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings /
por: Seidl, Helmut.
Publicado: (2007)

Modelling Distributed Systems
por: Fokkink, Wan.
Publicado: (2007)

Notes on Set Theory
por: Moschovakis, Yiannis.
Publicado: (2006)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /
por: Middeldorp, Aart.
Publicado: (2005)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
por: Ésik, Zoltán.
Publicado: (2006)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
por: Ong, Luke.
Publicado: (2005)

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

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

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
por: Hutter, Dieter.
Publicado: (2005)

A Modern Perspective on Type Theory From its Origins until Today /
por: Kamareddine, Fairouz.
Publicado: (2005)

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

Propositional and Predicate Calculus A Model of Argument
por: Goldrei, Derek.
Publicado: (2005)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
por: Schneider, Klaus.
Publicado: (2007)

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
por: Etessami, Kousha.
Publicado: (2005)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /
por: Hurd, Joe.
Publicado: (2005)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
por: Damm, Werner.
Publicado: (2007)

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
por: Ball, Thomas.
Publicado: (2006)

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings /
por: Anai, Hirokazu.
Publicado: (2007)

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings /
por: Ibarra, Oscar H.
Publicado: (2006)

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
por: Harju, Tero.
Publicado: (2007)