Artículos relacionados a Finite Model Theory (Perspectives in Mathematical Logic)
Sinopsis
Book by Ebbinghaus HeinzDieter Flum Jrg
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Finite model theory has its origins in classical model theory but owes its systematic development to research from complexity theory. The text presents the main results of descriptive complexity theory, the connection between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed point logics, transitive closure logics and also certain infinitary languages; their model theory is studied in detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the representative parts on the model theory and descriptive complexity theory may be read independently.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Año de publicación1995
- ISBN 10 354060149X
- ISBN 13 9783540601494
- EncuadernaciónTapa dura
- Número de páginas342
Comprar nuevo
Ver este artículo
EUR 76,87
Gastos de envío:
GRATIS
A Estados Unidos de America
Otras ediciones populares con el mismo título
Los mejores resultados en AbeBooks
Imagen de archivo
Finite Model Theory
Librería: Grey Matter Books, Hadley, MA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Very Good. Estado de la sobrecubierta: None Issued. Text is unmarked, though the pages are a little yellowed, the page edges are age toned and the top edge of the pages is foxed. Binding is sturdy. There are a couple tiny stains of the covers. No dust jacket, as issued. 327pp. Nº de ref. del artículo: 066501
Cantidad disponible: 1 disponibles
Imagen de archivo
Finite Model Theory (Perspectives in Mathematical Logic)
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995
ISBN 10: 354060149X
ISBN 13: 9783540601494
Antiguo o usado
Tapa dura
Librería: 369 Bookstore _[~ 369 Pyramid Inc ~]_, Dover, DE, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Good. Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity theory. The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed- point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the resp. parts on model theory and descriptive complexity theory may be read independently. Nº de ref. del artículo: AMPLE354060149X
Cantidad disponible: 1 disponibles
Imagen de archivo
Finite Model Theory
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995
ISBN 10: 354060149X
ISBN 13: 9783540601494
Nuevo
Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABTR-219772
Cantidad disponible: 2 disponibles
Imagen de archivo
Finite Model Theory
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995
ISBN 10: 354060149X
ISBN 13: 9783540601494
Nuevo
Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-268058
Cantidad disponible: 1 disponibles
Imagen de archivo
Finite Model Theory
Publicado por
Springer-Verlag GmbH & Co. KG, 1995
ISBN 10: 354060149X
ISBN 13: 9783540601494
Antiguo o usado
Tapa dura
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand.1995. | Produktart: Sonstiges. Nº de ref. del artículo: 244844/2
Gastos de envío:
EUR 45,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Finite Model Theory
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 327 1st Edition. Nº de ref. del artículo: 261770505
Cantidad disponible: 4 disponibles
Imagen de archivo
Finite Model Theory
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 327. Nº de ref. del artículo: 7125974
Gastos de envío:
EUR 7,72
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 4 disponibles
Edición internacional
Finite Model Theory
Edición internacionalLibrería: Xendurance Llc, Omaha, NE, Estados Unidos de America
Calificación del vendedor: 2 de 5 estrellas
PaperBack. Condición: Brand New. New Fast Delivery Paperback, International edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 08-10 days. Nº de ref. del artículo: Atlant11600
Cantidad disponible: 7 disponibles
Imagen de archivo
Finite Model Theory (Perspectives in Mathematical Logic)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA704354060149X5
Gastos de envío:
EUR 29,70
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles