%0 Conference Paper %1 conf/ictac/Moura16 %A de Moura, Flávio L. C. %B ICTAC %D 2016 %E Sampaio, Augusto %E Wang, Farn %K dblp %P 179-195 %T Unification for -calculi Without Propagation Rules. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2016.html#Moura16 %V 9965 %@ 978-3-319-46749-8

@inproceedings{conf/ictac/Moura16, added-at = {2020-10-25T00:00:00.000+0200}, author = {de Moura, Flávio L. C.}, biburl = {https://www.bibsonomy.org/bibtex/2d06ceee01ad53f55c205d1b44297a9a1/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2016}, editor = {Sampaio, Augusto and Wang, Farn}, ee = {https://doi.org/10.1007/978-3-319-46750-4_11}, interhash = {4e551bf4deb3eb0fc1bed17967db1b87}, intrahash = {d06ceee01ad53f55c205d1b44297a9a1}, isbn = {978-3-319-46749-8}, keywords = {dblp}, pages = {179-195}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:39:48.000+0200}, title = {Unification for \lambda -calculi Without Propagation Rules.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2016.html#Moura16}, volume = 9965, year = 2016 }