Experimental Descriptive Complexity

DOI10.1007/978-3-642-29485-3_3zbMath1354.68103OpenAlexW2102865891MaRDI QIDQ2897942

Neil Immerman, Charles Jordan, Marco L. Carmosino

Publication date: 16 July 2012

Published in: Logic and Program Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29485-3_3

Mathematics Subject Classification ID

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

Related Items (5)

Definability in First Order Theories of Graph Orderings ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Work-sensitive dynamic complexity of formal languages ⋮ Unnamed Item

Uses Software

• DescriptiveEnvironment

This page was built for publication: Experimental Descriptive Complexity