Author

P. Senellart

h-index 29 View on Semantic Scholar

We have 1 of 207 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

Descriptive Complexity in Lean: Completeness by First-Order Reductions

We show that descriptive complexity can serve as a foundation for formalizing computational complexity results in a proof assistant, by constructing a Lean library centered around the following concepts: decision problems are isomorphism-invariant predicates on finite structures; complexity classes are defined by their...

P. Senellart, A. Gnatenko · 0 citations