FPsolve: A Generic Solver for Fixpoint Equations over Semirings

DOI10.1007/978-3-319-08846-4_1zbMATH Open1302.68330OpenAlexW1027809600MaRDI QIDQ3192248FDOQ3192248

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)

Cited In (4)

• kProbLog: An Algebraic Prolog for Kernel Programming
• 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

Uses Software

• FPsolve

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3192248)