Verwandte Artikel zu Finite Model Theory (Perspectives in Mathematical Logic)
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 69,61
Gratis für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für Finite Model Theory (Perspectives in Mathematical Logic)
Beispielbild für diese ISBN
Finite Model Theory
Verlag:
Springer-Verlag GmbH & Co. KG, 1995
ISBN 10: 354060149X
ISBN 13: 9783540601494
Gebraucht
Hardcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 244844/2
Anzahl: 1 verfügbar
Foto des Verkäufers
Finite model theory.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover. 2., rev. and enl. ed. XIII, 360 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03616 9783540601494 Sprache: Englisch Gewicht in Gramm: 550. Bestandsnummer des Verkäufers 2513317
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Finite Model Theory
Anbieter: Grey Matter Books, Hadley, MA, USA
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: 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. Bestandsnummer des Verkäufers 066501
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Finite Model Theory
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers ABNR-37628
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Finite Model Theory
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-385265
Anzahl: 3 verfügbar
Beispielbild für diese ISBN
Finite Model Theory
Anbieter: SMASS Sellers, IRVING, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Bestandsnummer des Verkäufers ASNT3-37628
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Finite Model Theory
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 327. Bestandsnummer des Verkäufers 181770499
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Finite Model Theory
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-268058
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Finite Model Theory
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers ABNR-85653
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Finite Model Theory
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 327 1st Edition. Bestandsnummer des Verkäufers 261770505
Anzahl: 1 verfügbar