Pebble Games over Ordered Structural Abstractions

DOI10.1007/978-3-319-55911-7_23zbMath1459.03037OpenAlexW2599918539MaRDI QIDQ2988831

Yuguo He

Publication date: 19 May 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-55911-7_23

zbMATH Keywords

finite model theorypebble gamesstructural abstraction

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Cites Work

• Upper and lower bounds for first order expressibility
• Modal languages and bounded fragments of predicate logic
• On Moschovakis closure ordinals
• Deux ou trois choses que je sais de L_n

This page was built for publication: Pebble Games over Ordered Structural Abstractions