Showing 1 - 1 results of 1 for search 'Lucas Alba, Salvador', query time: 0.03s Refine Results
  1. 1
    Towards a Framework for Proving Termination of Maude Programs
    by Alarcón Jiménez, Beatriz
    Published 2011
    Other Authors: “...Lucas Alba, Salvador...”
    Get full text
    Doctoral Thesis
Search Tools: Get RSS Feed — Email this Search