Concepedia

Publication | Open Access

A modular order-sorted equational generalization algorithm

DOIFull Paper Access

45

Citations

27

References

2014

Year

Marı́a Alpuente, Santiago Escobar, Javier Espert, José Meseguer
Information and Computation

References

YearCitations

Page 1