José Luis Ruiz Reina

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (4)
• Tesis (1)

• Artículos de revistas

  • A verified Common Lisp implementation of Buchberger's algorithm in ACL2

    Inmaculada Medina Bulo, Francisco Palomo Lozano, José Luis Ruiz Reina

    Journal of symbolic computation, ISSN 0747-7171, Vol. 45, Nº 1, 2010, págs. 96-123

    • Resumen
    

• Colaboraciones en obras colectivas

  • Topología Simplicial en ACL2

    Laureano Lambán Pardo, Francisco Jesús Martín Mateos, José Luis Ruiz Reina

    Contribuciones científicas en honor de Mirian Andrés Gómez / coord. por Laureano Lambán Pardo, Ana Romero Ibáñez, Julio Rubio García, 2010, ISBN 978-84-96487-50-5, págs. 1-20

    • Texto completo
    

  • Topología Simplicial en ACL2

    Laureano Lambán Pardo, F.J. Martín-Mateos, José Luis Ruiz Reina

    Manual de responsabilidad pública: homenaje a Pedro González Gutiérrez-Barquín / coord. por Joaquín de Fuentes Bardají, Idoya Arteagabeitia González, 2005, ISBN 84-85482-39-5, págs. 1-20

    

  • Formalización del razonamiento ecuacional en una lógica computacional

    José Antonio Alonso Jiménez, María José Hidalgo Doblado, F.J. Martín Mateos, José Luis Ruiz Reina

    Actas del Encuentro de Matemáticos Andaluces / coord. por Emilio Briales Morales, Alfonso Carriazo Rubio, Tomás Chacón Rebollo, Pedro Real Jurado, Alvaro Romero Jiménez, Vol. 2, 2001 (Comunicaciones), ISBN 84-472-0290-9, págs. 41-50

    

  • Prueba por consistencia de teoremas inductivos: inducción sin inducción

    Manuel Emilio Gegúndez Arias, José Luis Ruiz Reina

    Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) / coord. por Carlos Martín Vide, 1994, ISBN 84-477-0396-7, págs. 597-606

    

• Tesis

  • Una teoría computacional acerca de la lógica ecuacional (formalización en acl2 de la lógica ecuacional y demostración automática de sus propiedades)

    José Luis Ruiz Reina

    Tesis doctoral dirigida por José Antonio Alonso Jiménez. Universidad de Sevilla (2001).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja toda la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.