Showing 1 - 1 results of 1 for search 'Salvador Lucas', query time: 0.02s
Refine Results
-
1
Termination of canonical context-sensitive rewriting and productivity of rewrite systems by Salvador Lucas
Published 2015-12-01
Article