%0 Conference Paper %1 conf/rta/Ayala-RinconFN16 %A Ayala-Rincón, Mauricio %A Fernández, Maribel %A Nantes-Sobrinho, Daniele %B FSCD %D 2016 %E Kesner, Delia %E Pientka, Brigitte %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 11:1-11:17 %T Nominal Narrowing. %U http://dblp.uni-trier.de/db/conf/rta/fscd2016.html#Ayala-RinconFN16 %V 52 %@ 978-3-95977-010-1

@inproceedings{conf/rta/Ayala-RinconFN16, added-at = {2023-12-13T07:50:48.000+0100}, author = {Ayala-Rincón, Mauricio and Fernández, Maribel and Nantes-Sobrinho, Daniele}, biburl = {https://www.bibsonomy.org/bibtex/2d9b0a881d63a4f26404e0bcd5c386307/admin}, booktitle = {FSCD}, crossref = {conf/rta/2016}, editor = {Kesner, Delia and Pientka, Brigitte}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2016.11}, interhash = {be0147dc483de7221881b53b670a910d}, intrahash = {d9b0a881d63a4f26404e0bcd5c386307}, isbn = {978-3-95977-010-1}, keywords = {}, pages = {11:1-11:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-13T07:50:48.000+0100}, title = {Nominal Narrowing.}, url = {http://dblp.uni-trier.de/db/conf/rta/fscd2016.html#Ayala-RinconFN16}, volume = 52, year = 2016 }