Showing 1 - 10 results of 10 for search 'Alpuente Frasnedo, María', query time: 0.20s Refine Results
  1. 1
    Partial Evaluation of Rewriting Logic Theories
    by Cuenca Ortega, Ángel Eduardo
    Published 2019
    Other Authors: “...Alpuente Frasnedo, María...”
    Get full text
    Doctoral Thesis
  2. 2
    Análisis semántico y transformación de programas lógico-funcionales
    Other Authors: “...Alpuente Frasnedo, María...”
    Get full text
    Doctoral Thesis
  3. 3
    A Rewriting-based, Parameterized Exploration Scheme for the Dynamic Analysis of Complex Software Systems
    by Frechina Navarro, Francisco
    Published 2014
    Other Authors: “...Alpuente Frasnedo, María...”
    Get full text
    Doctoral Thesis
  4. 4
    Logic-based techniques for program analysis and specification synthesis
    Other Authors: “...Alpuente Frasnedo, María...”
    Get full text
    Doctoral Thesis
  5. 5
    Termination of Narrowing: Automated Proofs and Modularity Properties
    by Iborra López, José
    Published 2013
    Other Authors: “...Alpuente Frasnedo, María...”
    Get full text
    Doctoral Thesis
  6. 6
    Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems
    by Baggi ., Michele
    Published 2010
    Other Authors: “...Alpuente Frasnedo, María...”
    Get full text
    Doctoral Thesis
  7. 7
    Rewriting Logic Techniques for Program Analysis and Optimization
    by Sapiña Sanchis, Julia
    Published 2018
    Other Authors: “...Alpuente Frasnedo, María...”
    Get full text
    Doctoral Thesis
  8. 8
    Reglas y estrategias de transformación para programas lógico-funcionales
    Other Authors: “...Alpuente Frasnedo, María...”
    Get full text
    Doctoral Thesis
  9. 9
    Rewriting-based Verification and Debugging of Web Systems
    by Romero ., Daniel Omar
    Published 2011
    Other Authors: “...Alpuente Frasnedo, María...”
    Get full text
    Doctoral Thesis
  10. 10
    Abstract Certification of Java Programs in Rewriting Logic
    by Alba Castro, Mauricio Fernando
    Published 2011
    Other Authors: “...Alpuente Frasnedo, María...”
    Get full text
    Doctoral Thesis
Search Tools: Get RSS Feed — Email this Search