FPsolve: A Generic Solver for Fixpoint Equations over Semirings

DOI10.1007/978-3-319-08846-4_1zbMath1302.68330OpenAlexW1027809600MaRDI QIDQ3192248

Maximilian Schlund, Javier Esparza, Michael Luttenberger

Publication date: 26 September 2014

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08846-4_1

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semirings (16Y60)

Related Items (4)

Convergence of Newton's method over commutative semirings ⋮ kProbLog: an algebraic Prolog for machine learning ⋮ Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity ⋮ kProbLog: An Algebraic Prolog for Kernel Programming

Uses Software

• FPsolve

This page was built for publication: FPsolve: A Generic Solver for Fixpoint Equations over Semirings