Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Height -- A Short Tutorial on Order-Invariant First-Order Logic -- Exponential Lower Bounds for Refuting...”