Expressivity Within Second-Order Transitive-Closure Logic¶

Flavio Ferrarotti, J. V. d. B., & Virtema, J. (2018). Expressivity Within Second-Order Transitive-Closure Logic.

Type: Unclassified
Intellectual base: Unclassified
Year: 2018
DOI: 10.4230/lipics.csl.2018.22
Link: https://doi.org/10.4230/lipics.csl.2018.22

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Polynomial hierarchy
- The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:becdac7e3d14 · see in the full table