Francisco Javier Herrera Govantes

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

• Artículos de revistas

  • Extending a valuation centred in a local domain to the formal completion

    Francisco Javier Herrera Govantes, M. A. Olalla Acosta, Mark Spivakovsky, B. Teissier

    Proceedings of the London Mathematical Society, ISSN 0024-6115, Vol. 105, Nº 3, 2012, págs. 571-621

    

• Colaboraciones en obras colectivas

  • Razonamiento automático en lógica de primer orden

    Francisco Javier Herrera Govantes, José Antonio Alonso Jiménez , Delia Balbontín Noval , Juan José Arrabal Parrilla

    Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992) / coord. por Carlos Martín Vide, 1992, ISBN 84-477-0002-X, págs. 165-172

    

• Tesis

  • Ramificación de valoraciones de superficies algebroides

    Francisco Javier Herrera Govantes

    Tesis doctoral dirigida por José Luis Vicente Córdoba . Universidad de Sevilla (1981).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. 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.