Mostrando 1 - 4 Resultados de 4 Para Buscar 'Middeldorp, Aart', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting
  2. 2
    por Felty, Amy P, Middeldorp, Aart
    Publicado 2015
    Enlace del recurso
    Automated deduction - CADE-25: 25th international conference on automated deduction, Berlin, Germany, August 1-7, 2015, proceedings
  3. 3
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification
  4. 4
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Certifying Proofs in the First-Order Theory of Rewriting
Herramientas de búsqueda: RSS