%0 Conference Paper %1 conf/tacas/BarbosaFR17 %A Barbosa, Haniel %A Fontaine, Pascal %A Reynolds, Andrew %B TACAS (2) %D 2017 %E Legay, Axel %E Margaria, Tiziana %K dblp %P 214-230 %T Congruence Closure with Free Variables. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#BarbosaFR17 %V 10206 %@ 978-3-662-54580-5

@inproceedings{conf/tacas/BarbosaFR17, added-at = {2021-07-27T00:00:00.000+0200}, author = {Barbosa, Haniel and Fontaine, Pascal and Reynolds, Andrew}, biburl = {https://www.bibsonomy.org/bibtex/245415cc05c131389a9425b15af75219a/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2017-2}, editor = {Legay, Axel and Margaria, Tiziana}, ee = {https://doi.org/10.1007/978-3-662-54580-5_13}, interhash = {f9c277653ea8745bc41ba39d55347770}, intrahash = {45415cc05c131389a9425b15af75219a}, isbn = {978-3-662-54580-5}, keywords = {dblp}, pages = {214-230}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:19:57.000+0200}, title = {Congruence Closure with Free Variables.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#BarbosaFR17}, volume = 10206, year = 2017 }