José Luis Freire Nistal (1943-)

• Artículos de revistas (3)
• Colaboraciones en obras colectivas (5)
• Libros (3)
• Tesis (1)
• Tesis dirigidas (6)
• Coordinación (1 publicación)

• Artículos de revistas

  • Seleccionado

    Certifying properties of an efficient functional program for computing Gröbner bases

    José Santiago Jorge Castro, Víctor M. Gulías , José Luis Freire Nistal (1943-)

    Journal of symbolic computation, ISSN 0747-7171, Vol. 44, Nº 5, 2009, págs. 571-582

    
  • Seleccionado

    The tensor product of triples as multilinear product

    M. A. López López, José Luis Freire Nistal (1943-)

    Revista matemática de la Universidad Complutense de Madrid, ISSN 0214-3577, Vol. 6, Nº 1, 1993, págs. 13-26

    • Texto completo
    
  • Seleccionado

    Triples de grado superior M-idempotentes

    José Luis Freire Nistal (1943-)

    Revista matemática hispanoamericana, ISSN 0373-0999, Vol. 33, Nº. 5-6, 1973, págs. 228-237

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Prove and then execute

    José Luis Freire Nistal (1943-), José Santiago Jorge Castro

    EACA 2001 : 7 Encuentro de álgebra computacional y aplicaciones: del 12 al 14 de septiembre de 2001, Ezcaray, La Rioja / coord. por Julio Rubio García , 2001, ISBN 84-95301-52-0, págs. 202-206

    
  • Seleccionado

    Sociedade do coñecemento

    José B. Terceiro Lomba (dir.), Víctor F. Freixanes (coord.), Domingo Docampo Amoedo , Aníbal Ramón Figueiras Vidal , José Luis Freire Nistal (1943-), Lois Rodríguez, Esther Touza Fernández

    Galicia 2010, 2000, ISBN 84-607-1434-9, págs. 529-575

    
  • Seleccionado

    Experiencia en la integración entre gestores relacionales y lenguajes funcionales

    José Luis Freire Nistal (1943-), Víctor M. Gulías , Xesús M. López

    Actas de las Primeras Jornadas de Investigación y Docencia en Bases de Datos / coord. por Nieves R. Brisaboa , 1996, ISBN 84-88301-46-4, págs. 250-259

    • Resumen
    
  • Seleccionado

    El impulso de las necesidades universitarias

    José Luis Freire Nistal (1943-)

    El futuro actual: Primeras Jornadas sobre la Sociedad Digital / coord. por Gustavo Matías Clavero; José B. Terceiro Lomba (ed. lit.), 1996, ISBN 84-89231-21-4, págs. 423-435

    
  • Seleccionado

    La teoría algebraica de los retículos completamente distributivos

    Rosa M. Fernández Rodríguez , José Luis Freire Nistal (1943-)

    X Jornadas hispano-lusas de matemáticas: sección, álgebra y fundamentos, 1985, págs. 165-171

    

• Libros

  • Seleccionado

    Actas

    Senén Barro , José Luis Freire Nistal (1943-), Jesús Rivero Laguna

    Fundación Dintel, 2001. ISBN 84-931933-8-0

    
  • Seleccionado

    Teorías algebraicas: morita - equivalentes

    Rosa M. Fernández Rodríguez , José Luis Freire Nistal (1943-)

    Universidade da Coruña, 1991. ISBN 84-600-7628-8

    
  • Seleccionado

    Elementos de programación funcional y categorías

    José Luis Freire Nistal (1943-)

    A Coruña : Vía Láctea, D.L. 1990. ISBN 84-86531-56-X

    

• Tesis

  • Seleccionado

    Propiedades universales en triples de grado superior

    José Luis Freire Nistal (1943-)

    Tesis doctoral dirigida por Eduardo García-Rodeja Fernández (dir. tes.) . Universidade de Santiago de Compostela (1972).

    

• Tesis dirigidas

  • Seleccionado

    Aplicaciones del procesamiento del lenguaje natural en la recuperación de información en español

    Jesús Vilares

    Tesis doctoral dirigida por Miguel Á. Alonso (dir. tes.) , José Luis Freire Nistal (1943-) (dir. tes.). Universidade da Coruña (2005).

    • Resumen
    • Tesis en acceso abierto en: RUC
    
  • Seleccionado

    Estudio de la verificación de propiedades de programas funcionales de las pruebas manuales al uso de asistentes de pruebas

    José Santiago Jorge Castro

    Tesis doctoral dirigida por José Luis Freire Nistal (1943-) (dir. tes.), Víctor M. Gulías (dir. tes.) . Universidade da Coruña (2004).

    • Resumen
    
  • Seleccionado

    Funciones de orden superior en programación funcional: una perspectiva categórica

    José Enrique Freire Brañas

    Tesis doctoral dirigida por José Luis Freire Nistal (1943-) (dir. tes.). Universidade da Coruña (2003).

    • Resumen
    
  • Seleccionado

    DFL, computación funcional distribuida

    Víctor M. Gulías

    Tesis doctoral dirigida por José Luis Freire Nistal (1943-) (dir. tes.). Universidade da Coruña (2000).

    • Resumen
    
  • Seleccionado

    Algoritmos de unificación ecuacional en teorías xerais

    Luis Cachafeiro Chamosa

    Tesis doctoral dirigida por José Luis Freire Nistal (1943-) (dir. tes.). Universidade da Coruña (1994).

    • Resumen
    • Tesis en acceso abierto en: RUC
    
  • Seleccionado

    Construcción de álgebras en computación

    Felicidad Aguado

    Tesis doctoral dirigida por José Luis Freire Nistal (1943-) (dir. tes.). Universidade da Coruña (1993).

    • Resumen
    

• Coordinación

  • Obras Colectivas

    • Seleccionado

      EACA 2010: XII Encuentro de Álgebra Computacional y Aplicaciones = 12th Meeting on Computer Algebra and Applications : Libro de resúmenes = Book of abstracts : Santiago de Compostela, 19-21 de julio de 2010

      coord. por José Luis Freire Nistal (1943-), Manuel Ladra González

      Universidad de Santiago de Compostela, Servicio de Publicaciones = Servizo de Publicacións, 2010. ISBN 978-84-9887-518-8

      

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 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.