Pebble games over ordered structural abstractions

DOI10.1007/978-3-319-55911-7_23MaRDI QIDQ2988831zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 4189511
• An infinite pebble game and applications
• scientific article; zbMATH DE number 1086490

Cites work

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

Cited in

(2)

• Pebble games and subroutines in least fixed point logic
• scientific article; zbMATH DE number 1086490 (Why is no real title available?)

This page was built for publication: Pebble games over ordered structural abstractions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2988831)