NobleBlocks

Research indexBook chapter

Modular Automatic Complexity Analysis of Recursive Integer Programs

Lommen, Giesl

Lecture Notes in Computer Science1 Jan 2026

DOI10.1007/978-3-032-22723-2_1

Paywalled

The full text is at the publisher

Open it at the publisher to read it.

Read at the publisher

Discussion

Citations

More

Suggest a correction or report