|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Solving Fixed-Point Equations by Derivation Tree Analysis
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Javier Esparza and Michael Luttenberger. Solving fixed-point equations by derivation tree analysis. In CALCO, pages 19–35, 2011.
Suggested BibTeX entry:
@inproceedings{DBLP:confcalcoEsparzaL11,
author = {Javier Esparza and Michael Luttenberger},
booktitle = {CALCO},
pages = {19-35},
title = {Solving Fixed-Point Equations by Derivation Tree Analysis},
year = {2011}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|