|
|
|
|
|
|
|
![](../../../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 Proceedings of CALCO'11, volume 6859 of Lecture Notes in Computer Science, pages 19–35. Springer, 2011.
Suggested BibTeX entry:
@inproceedings{DBLP:confcalcoEsparzaL11,
author = {Javier Esparza and Michael Luttenberger},
booktitle = {Proceedings of CALCO'11},
pages = {19-35},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Solving Fixed-Point Equations by Derivation Tree Analysis},
volume = {6859},
year = {2011}
}
|
![](../g/pixel.png) |
|
|
|
|
|
|
|
|