You are here

Home

Publications

Export 1 results:
Filters: Author is Michele Baggi and Keyword is Unfolding  [Clear All Filters]
2010
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.

created with Drupal | customized by Giovanni Bacci