Solving Fixed-Point Equations by Derivation Tree Analysis

DOI10.1007/978-3-642-22944-2_2zbMath1344.68107OpenAlexW1603502270MaRDI QIDQ3090856

Javier Esparza, Michael Luttenberger

Publication date: 2 September 2011

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22944-2_2

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Grammars and rewriting systems (68Q42)

Related Items (3)

Unnamed Item ⋮ Shrinking timed automata ⋮ kProbLog: An Algebraic Prolog for Kernel Programming

This page was built for publication: Solving Fixed-Point Equations by Derivation Tree Analysis