Space-efficient fragments of higher-order fixpoint logic

DOI10.1007/978-3-319-67089-8_3zbMath1478.68149OpenAlexW2747215736MaRDI QIDQ1685775

Florian Bruse, Martin Lange, Etienne Lozes

Publication date: 20 December 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67089-8_3

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

The tail-recursive fragment of timed recursive CTL ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic ⋮ Local higher-order fixpoint iteration

This page was built for publication: Space-efficient fragments of higher-order fixpoint logic