nach oben

Erschienen in:

2000 | OriginalPaper | Buchkapitel

Dot-Depth and Monadic Quantifier Alternation over Pictures — Extended Abstract

verfasst von : Oliver Matz

Erschienen in: Ausgezeichnete Informatikdissertationen 1999

Verlag: Vieweg+Teubner Verlag

Enthalten in: Professional Book Archive

Zugang erhalten

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

search-config

KI-gestützte Suche

Aus

In formulas of monadic second-order logic (MSO), quantifiers range over sets of elements or over elements of the universe of some finite structure.

Vorheriges Kapitel MISTRAL: Processing Relational Queries using a Multidimensional Access Technique

Nächstes Kapitel Flexible und effiziente Systemunterstützung für offene Kommunikationsplattformen

Titel: Dot-Depth and Monadic Quantifier Alternation over Pictures — Extended Abstract
verfasst von: Oliver Matz
Verlag: Vieweg+Teubner Verlag
Buch: Ausgezeichnete Informatikdissertationen 1999
Print ISBN: 978-3-519-02650-1

Electronic ISBN: 978-3-322-84823-9

Copyright-Jahr: 2000
DOI: https://doi.org/10.1007/978-3-322-84823-9_16

Premium Partner

Marktübersichten

Die im Laufe eines Jahres in der „adhäsion“ veröffentlichten Marktübersichten helfen Anwendern verschiedenster Branchen, sich einen gezielten Überblick über Lieferantenangebote zu verschaffen.

Zur Marktübersicht

Springer Professional

Premium Partner

Marktübersichten