Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Introduction Kapitel lesen Erstes Kapitel lesen

1999 | OriginalPaper | Buchkapitel

Ehrenfeucht-Fraïssé Games

verfasst von : Neil Immerman

Erschienen in: Descriptive Complexity

Verlag: Springer New York

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

We introduce combinatorial games that are useful for determining what can be expressed in various logics. Ehrenfeucht-Fraïssé games offer a semantics for first-order logic that is equivalent to, but more directly applicable than, the standard definitions.

Vorheriges Kapitel Parallelism
Nächstes Kapitel Second-Order Logic and Fagin’s Theorem
Metadaten
Titel
Ehrenfeucht-Fraïssé Games
verfasst von
Neil Immerman
Copyright-Jahr
1999
Verlag
Springer New York
Buch
Descriptive Complexity

Print ISBN: 978-1-4612-6809-3

Electronic ISBN: 978-1-4612-0539-5

Copyright-Jahr: 1999

DOI
https://doi.org/10.1007/978-1-4612-0539-5_7

Neuer Inhalt

    Bildnachweise