Author:
Alpuente María,Ballis Demis,Cuenca-Ortega Angel,Escobar Santiago,Meseguer José
Publisher
Springer International Publishing
Reference16 articles.
1. The ACUOS
$$^2$$
Website (2018).
http://safe-tools.dsic.upv.es/acuos2
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);H Aït-Kaci,2003
3. Alpuente, M., Escobar, S., Espert, J., Meseguer, J.: A modular order-sorted equational generalization algorithm. Inf. Comput. 235, 98–136 (2014)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Alpuente,2014
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);E Armengol,2007
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献