%0 Conference Paper %1 conf/frocos/Ayala-RinconSFN17 %A Ayala-Rincón, Mauricio %A de Carvalho Segundo, Washington %A Fernández, Maribel %A Nantes-Sobrinho, Daniele %B FroCoS %D 2017 %E Dixon, Clare %E Finger, Marcelo %I Springer %K %P 209-226 %T On Solving Nominal Fixpoint Equations. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2017.html#Ayala-RinconSFN17 %V 10483 %@ 978-3-319-66167-4

@inproceedings{conf/frocos/Ayala-RinconSFN17, added-at = {2023-12-13T03:20:36.000+0100}, author = {Ayala-Rincón, Mauricio and de Carvalho Segundo, Washington and Fernández, Maribel and Nantes-Sobrinho, Daniele}, biburl = {https://www.bibsonomy.org/bibtex/22bb5770aa979b2a0095981c74cc61e9c/admin}, booktitle = {FroCoS}, crossref = {conf/frocos/2017}, editor = {Dixon, Clare and Finger, Marcelo}, ee = {https://doi.org/10.1007/978-3-319-66167-4_12}, interhash = {8a5c900f30c8d7a404c45549f8b6ba46}, intrahash = {2bb5770aa979b2a0095981c74cc61e9c}, isbn = {978-3-319-66167-4}, keywords = {}, pages = {209-226}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T03:20:36.000+0100}, title = {On Solving Nominal Fixpoint Equations.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2017.html#Ayala-RinconSFN17}, volume = 10483, year = 2017 }