Destructive Rule-Based Properties and First-Order Logic

DOI10.1007/978-3-642-11266-9_28zbMath1274.68182OpenAlexW1604383174MaRDI QIDQ3401103

David Duris

Publication date: 28 January 2010

Published in: SOFSEM 2010: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11266-9_28

zbMATH Keywords

complexitymodel checkingdefinabilityfinite model theorydestructive rule

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

This page was built for publication: Destructive Rule-Based Properties and First-Order Logic