José Luis Freire Nistal

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

• Artículos de revistas

  • 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

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

    

  • Titulacións técnicas: Informática

    José Luis Freire Nistal

    Eduga: revista galega do ensino, ISSN 1133-911X, Nº 7, 1995, págs. 99-102

    • Texto completo
    

  • The tensor product of triples as multilinear product

    M. A. López López, José Luis Freire Nistal

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

    • Texto completo
    

  • Triples asociados

    José María Barja Pérez, José Luis Freire Nistal

    Publicacions matematiques, ISSN 0214-1493, Nº 20, 1980, págs. 115-117

    • Texto completo
    

  • Sobre subteorías de la doble dualidad

    José Luis Freire Nistal

    Publicacions matematiques, ISSN 0214-1493, Nº 20, 1980, págs. 133-134

    • Texto completo
    

  • Triples de grado superior M-idempotentes

    José Luis Freire Nistal

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

    

• Colaboraciones en obras colectivas

  • Prove and then execute

    José Luis Freire Nistal, 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

    

  • 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, Lois Rodríguez, Esther Touza Fernández

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

    

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

    José Luis Freire Nistal, 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
    

  • El impulso de las necesidades universitarias

    José Luis Freire Nistal

    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

    

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

    Rosa M. Fernández Rodríguez, José Luis Freire Nistal

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

    

• Libros

  • Computer aided systems theory - Eurocast 2001: a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 revised papers

    José Luis Freire Nistal, Bruno Buchberger, Roberto Moreno Díaz

    Berlin [etc.] : Springer, [2001]. ISBN 3-540-42959-X

    • Resumen
    

  • Actas

    Senén Barro, José Luis Freire Nistal, Jesús Rivero Laguna

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

    

  • Teorías algebraicas: morita - equivalentes

    Rosa M. Fernández Rodríguez, José Luis Freire Nistal

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

    

  • Elementos de programación funcional y categorías

    José Luis Freire Nistal

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

    

• Tesis

  • Propiedades universales en triples de grado superior

    José Luis Freire Nistal

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

    

• Tesis dirigidas

  • 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 (dir. tes.). Universidade da Coruña (2005).

    • Resumen
    • Tesis en acceso abierto en: RUC
    

  • 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 (dir. tes.), Víctor M. Gulías (dir. tes.). Universidade da Coruña (2004).

    • Resumen
    

  • 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 (dir. tes.). Universidade da Coruña (2003).

    • Resumen
    

  • DFL, computación funcional distribuida

    Víctor M. Gulías

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

    • Resumen
    

  • Algoritmos de unificación ecuacional en teorías xerais

    Luis Cachafeiro Chamosa

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

    • Resumen
    • Tesis en acceso abierto en: RUC
    

  • Construcción de álgebras en computación

    Felicidad Aguado

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

    • Resumen
    

• Coordinación

  • Obras Colectivas

    • 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, 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 Dialnet. 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.