scientific article; zbMATH DE number 1392292
From MaRDI portal
zbMath0945.03549MaRDI QIDQ4936131
Publication date: 24 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items
CFI Construction and Balanced Graphs, On the Descriptive Complexity of Linear Algebra, Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs, Unnamed Item, Large finite structures with few \(L^k\)-types, Fixed-Point Definability and Polynomial Time, Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems, The monadic second-order logic of graphs. XII: Planar graphs and planar maps, The first order definability of graphs with separators via the Ehrenfeucht game, Querying spatial databases via topological invariants, Canonisation and Definability for Graphs of Bounded Rank Width
