References & Citations
Computer Science > Computational Complexity
Title: Logical characterizations of computational complexity classes
(Submitted on 14 Dec 2020)
Abstract: Descriptive complexity theory is an important area in the study of computational complexity. In this direction, it is possible to describe combinatorial problems exclusively by logical methods, without resorting to the use of complicated algorithms. The first work in this direction was written in 1974 by the American mathematician Fagin. The article describes the development of methods of the theory of descriptive complexity.
Submission history
From: Vladimir Naidenko G. [view email][v1] Mon, 14 Dec 2020 13:48:24 GMT (167kb)
Link back to: arXiv, form interface, contact.