Finite model theory and its applications /
Saved in:
Main Author: | Gradel, Erich (Author) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Other Authors: | Libkin, Leonid, Marx, Maarten, Kolaitis, Phokion G., 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: | |
Online Access: | Click here to view the full text content |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Finite model theory /
by: Ebbinghaus, Heinz-Dieter -
Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. proceedings /
by: Gradel, Erich
Published: (2009) -
Logic design theory /
by: Biswas, Nripendra Nath
Published: (1993) -
Logic design theory /
by: Biswas, Nripendra N.
Published: (2006) -
A Modern Perspective on Type Theory From its Origins until Today /
by: Kamareddine, Fairouz
Published: (2005)