scientific article
From MaRDI portal
Publication:3509072
zbMath1148.03323MaRDI QIDQ3509072
Stephan Kreutzer, Julian Bradfield
Publication date: 1 July 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
independence-friendly logiccombined complexitycomplexity of model-checkingsecond-order logic on finite structures
Other nonclassical logic (03B60) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Descriptive complexity and finite models (68Q19)
This page was built for publication:
