Logo - springer
Slogan - springer

Computer Science - Theoretical Computer Science | Finite Model Theory and Its Applications (Authors and Editors)

Finite Model Theory and Its Applications

Grädel, E., Kolaitis, P.G., Libkin, L., Marx, M., Spencer, J., Vardi, M.Y., Venema, Y., Weinstein, S.

2007, XI, 437 p.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$79.99

(net) price for USA

ISBN 978-3-540-68804-4

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Hardcover
Information

Hardcover version

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$109.00

(net) price for USA

ISBN 978-3-540-00428-8

free shipping for individuals worldwide

The book title is in reprint. You can already preorder it.


add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$109.00

(net) price for USA

ISBN 978-3-642-43860-8

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

Erich Graedel is a Professor of Mathematical Foundations of Computer Science at the University of Technology Aachen.  His research interests include algorithms, complexity, and logic in computer science.

Phokion G. Kolaitis is a professor of computer science at the University of California, Santa Cruz. His current research interests include logic in computer science, computational complexity, and database theory. He earned a Diploma in Mathematics from the University of Athens, Greece in 1973, and a Ph.D. in Mathematics from the University of California, Los Angeles in 1978. Before joining UC Santa Cruz in 1988, he served as an L.E. Dickson Instructor of Mathematics at the University of Chicago, a faculty member at Occidental College, a visiting faculty member at Stanford University, and a visiting scientist at the IBM Almaden Research Center. Kolaitis was awarded a Guggenheim Fellowship during 1993-94. In 1995, he received an Excellence in Teaching Award by the graduating computer science and computer engineering students at UC Santa Cruz.

Leonid Libkin received his PhD from the University of Pennsylvania and is currently Professor of Computer Science at the University of Toronto. His main research interests include databases and applications of logic in computer science.

Maarten Marx is an associate professor at the Vrije Universiteit Amsterdam. His research interests are in modal and algebraic logic.

Joel Spencer is a Professor of Mathematics and Computer Scienceat the Courant Institute, New York University. His research interests lie in interface between Discrete Mathematics and Theoretical Computer Science, most particularly with the Probabilistic Method as developed by Paul Erdos.

Moshe Y. Vardi is a Noah Harding Professor of Computer Science and Chair of Computer Science at Rice University. Prior to joining Rice in 1993, he was at the IBM Almaden Research Center, where he managed the Mathematics and Related Computer Science Department. His research interests include database systems, computational-complexity theory, multi-agent systems, and design specification and verification. Vardi received his Ph.D. from the Hebrew University of Jerusalem in 1981. He is the author and co-author of over 120 technical papers, as well as a book titled "Reasoning about Knowledge". Vardi is the recipient of 3 IBM Outstanding Innovation Awards. He is an editor of several international journals and is a Fellow of the Association of Computing Machinery.

Yde Venema studied mathematics; in 1992, he received a PhD in Logic with the dissertation `Many-Dimensional Modal Logic'. He is currently a Research Fellow of the Royal Netherlands Academy of Arts and Sciences and an assistant professor at the Institute for Logic, Language and Computation of the University of Amsterdam. His research interests include modal and temporal logic, algebraic logic, and applications of logic in linguistics and computer science.

Scott Weinstein is Professor of Computer Science, Mathematics, and Philosophy at the University of Pennsylvania. His research interests include logic in computer science and the philosphy of mathematics.

Other books by these authors 

Books & CD ROMs

Show all 19 results

  • Database Theory - ICDT '97
    • eBook
      download immediately after purchase

      Softcover
      usually dispatched within 3 to 5 business days

      $129.00
      (net)
      All
    • Softcover
      usually dispatched within 3 to 5 business days

      $129.00
      (net)

    Database Theory - ICDT '97

    6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings

    Series: Lecture Notes in Computer Science, Vol. 1186

    Afrati, Foto N., Kolaitis, Phokion G. (Eds.) 1997

    Price from $129.00
    Available Formats:
    Information
    ISBN 978-3-540-49682-3
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $129.00 (net)
    ISBN 978-3-540-62222-2
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Discrete Probability and Algorithms
    • eBook
      download immediately after purchase

      $89.95
      (net)

      Hardcover
      usually dispatched within 3 to 5 business days

      $169.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $119.00
      (net)
      All
    • eBook
      download immediately after purchase

      $89.95
      (net)

      Hardcover
      usually dispatched within 3 to 5 business days

      $169.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $119.00
      (net)

    Discrete Probability and Algorithms

    Series: The IMA Volumes in Mathematics and its Applications, Vol. 72

    Aldous, D., Saloff-Coste, L., Spencer, J., Steele, J.M. (Eds.) 1995

    Price from $89.95
    Available Formats:
    Information
    $89.95 (net)
    ISBN 978-1-4612-0801-3
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $169.00 (net)
    ISBN 978-0-387-94532-3
    usually dispatched within 3 to 5 business days
    Hardcover
    Hardcover version
    Information
    $119.00 (net)
    ISBN 978-1-4612-6905-2
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • The Classical Decision Problem
    • Softcover
      usually dispatched within 3 to 5 business days

      $179.00
      (net)
    • Softcover
      usually dispatched within 3 to 5 business days

      $179.00
      (net)

    The Classical Decision Problem

    Series: Universitext

    Börger, Egon, Grädel, Erich, Gurevich, Yuri 1997

    Price from $179.00
    Available Formats:
    Information
    $179.00 (net)
    ISBN 978-3-540-42324-9
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Complexity of Constraints
    • eBook
      download immediately after purchase

      $69.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $99.00
      (net)
      All
    • eBook
      download immediately after purchase

      $69.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $99.00
      (net)

    Complexity of Constraints

    An Overview of Current Research Themes

    Series: Lecture Notes in Computer Science, Vol. 5250

    Subseries: Theoretical Computer Science and General Issues

    Creignou, Nadia, Kolaitis, Phokion G., Vollmer, Heribert (Eds.) 2008

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-3-540-92800-3
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $99.00 (net)
    ISBN 978-3-540-92799-0
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Ecole d'Ete de Probabilites de Saint-Flour XXI - 1991
    • eBook
      download immediately after purchase

      Softcover
      usually dispatched within 3 to 5 business days

      $69.95
      (net)
      All
    • Softcover
      usually dispatched within 3 to 5 business days

      $69.95
      (net)

    Ecole d'Ete de Probabilites de Saint-Flour XXI - 1991

    Series: Lecture Notes in Mathematics, Vol. 1541

    Dawson, Donald, Maisonneuve, Bernard, Spencer, Joel Hennequin, Paul-Louis (Ed.) 1993

    Price from $69.95
    Available Formats:
    Information
    ISBN 978-3-540-47608-5
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $69.95 (net)
    ISBN 978-3-540-56622-9
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version


5 of 19

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Theory of Computation.