You are here

Publications

Export 2 results:
Filters: Keyword is Unfolding  [Clear All Filters]
Conference Proceedings
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., Completeness of Unfolding for Rewriting Logic Theories, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. IEEE Computer Society Press, pp. 116–123, 2010.
M. Alpuente, Ballis, D., Correa, F., and Falaschi, M., Correction of Functional Logic Programs, Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, vol. 2618. Springer, pp. 54–68, 2003.