|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - FPsolve: A Generic Solver for Fixpoint Equations over Semirings
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Javier Esparza, Michael Luttenberger, and Maximilian Schlund. FPsolve: A generic solver for fixpoint equations over semirings. In CIAA, pages 1–15, 2014.
Suggested BibTeX entry:
@inproceedings{DBLP:confwiaEsparzaLS14,
author = {Javier Esparza and Michael Luttenberger and Maximilian Schlund},
booktitle = {CIAA},
pages = {1-15},
title = {{FP}solve: A Generic Solver for Fixpoint Equations over Semirings},
year = {2014}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|