PierreSenellartdescriptive-complexity1.1.0

Descriptive complexity in Lean 4: machine-model-free NP-completeness via first-order reductions, and the polynomial hierarchy via second-order alternation
#complexity #descriptive complexity #model theory #NP-completeness #reductions
Displaying 1-1 of 1 packages depending on PierreSenellart/descriptive-complexity
Sort by

  1. PierreSenellart/provenanceusesv1.1.0

    Database provenance in Lean 4: the semiring framework, an annotated relational algebra with difference and aggregation, ProvSQL's provenance-aware query rewriting, and HAVING provenance