You are here

Home

Publications

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