Author:
Alpuente María,Escobar Santiago,Espert Javier,Meseguer José
Publisher
Springer International Publishing
Reference16 articles.
1. Alpuente, M., Escobar, S., Espert, J., Meseguer, J.: A Modular Order-sorted Equational Generalization Algorithm. Information and Computation 235, 98–136 (2014)
2. Lecture Notes in Computer Science;M. Alpuente,2009
3. Alpuente, M., Escobar, S., Meseguer, J., Ojeda, P.: Order–Sorted Generalization. ENTCS 246, 27–38 (2009)
4. Alpuente, M., Espert, J., Escobar, S., Meseguer, J.: ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. Tech. rep., DSIC-UPV (2013),
http://www.dsic.upv.es/users/elp/papers.html
5. Lecture Notes in Artificial Intelligence;E. Armengol,2007
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献