https://doi.org/10.1007/978-3-540-74915-8_18¶
Bagan, G., Durand, A., & Grandjean, E. (2007). https://doi.org/10.1007/978-3-540-74915-8_18. Computer Science Logic 2007.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Enumeration Algorithm
- Tree traversal, reverse search, indexed query cursors, and blocking or non-blocking model enumeration differ internally but implement the same all-solutions stream contract and output-sensitive ledger.
This sourceEstablishes linear-delay and, for a substantial acyclic-query subclass, linear-preprocessing/constant-delay enumeration results.
- Tree traversal, reverse search, indexed query cursors, and blocking or non-blocking model enumeration differ internally but implement the same all-solutions stream contract and output-sensitive ledger.
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:d53cdb74fe3c · see in the full table