Experimental Descriptive Complexity
From MaRDI portal
Publication:2897942
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
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
This page was built for publication: Experimental Descriptive Complexity