Laureano Lambán Pardo

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

• Artículos de revistas

  • Seleccionado

    Could a theorem be acyclic?

    Jesús María Aransay Azofra , Laureano Lambán Pardo, Julio Rubio García

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. Extra 117 (Abril), 2024 (Ejemplar dedicado a: Profesor Eugenio Roanes Lozano), págs. 54-63

    • Resumen
    
  • Seleccionado

    Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

    Jesús María Aransay Azofra , Jose Divasón Mallagaray, César Domínguez , Francisco José García Izquierdo , Jónathan Heras Vicente , Arturo Jaime Elizondo , Laureano Lambán Pardo, Eloy Javier Mata Sotés, Gadea Mata Martínez , Juan José Olarte Larrea, María Vico Pascual Martínez-Losa , Beatriz Pérez Valle , Ana Romero Ibáñez , Ángel Luis Rubio García , Julio Rubio García , Eduardo Sáenz de Cabezón Irigaray

    Zubía, ISSN 0213-4306, Nº Extra 26, 2014 (Ejemplar dedicado a: Investigación en el Departamento de Matemáticas y Computación de la Universidad de La Rioja), págs. 19-37

    • Resumen
    • Texto completo
    
  • Seleccionado

    On bornologies, locales and toposes of <f>M</f>-sets

    Luis Español González , Laureano Lambán Pardo

    Journal of pure and applied algebra, ISSN 0022-4049, Vol. 176, Nº 2, 2002, págs. 113-125

    
  • Seleccionado

    A tensor-hom adjunction in a topos related to vector topologies and bornologies

    Luis Español González , Laureano Lambán Pardo

    Journal of pure and applied algebra, ISSN 0022-4049, Vol. 154, Nº 1, 2000, págs. 143-158

    

• Colaboraciones en obras colectivas

  • Seleccionado

    New algorithms for computeer homology of finite topological scpaces

    Julian L. Cuevas Rozo, Laureano Lambán Pardo, Ana Romero Ibáñez , Humberto Sarria Zapata

    Applications of Computer Algebra: proceedings / coord. por Francisco Botana Ferreiro , Felipe Gago Couso , Manuel Ladra González , 2018, ISBN 978-84-16954-87-2, págs. 108-112

    
  • Seleccionado

    Towards a verifiable Topology of Data

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

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 / coord. por Jónathan Heras Vicente , Ana Romero Ibáñez , 2016, ISBN 978-84-608-9024-9, págs. 113-116

    • Texto Completo Libro
    
  • Seleccionado

    Presentación

    Laureano Lambán Pardo, Ana Romero Ibáñez , Julio Rubio García

    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 ; Mirian Andrés Gómez (hom.), 2010, ISBN 978-84-96487-50-5, pág. 1

    • Texto completo
    
  • Seleccionado

    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 ; Mirian Andrés Gómez (hom.), 2010, ISBN 978-84-96487-50-5, págs. 1-19

    • Texto completo
    
  • Seleccionado

    Verificación y eficiencia en programas para el cálculo simbólico: estudio de un caso

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

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 7-14

    
  • Seleccionado

    First Efforts to Increase the Reliability of Kenzo Using ACL2

    M. Andrés, Laureano Lambán Pardo

    EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre / coord. por Óscar Cortadellas Izquierdo, José Gómez Torrecillas , F.J. Lobillo Borrero , 2008, págs. 111-114

    
  • Seleccionado

    Reutilización de demostraciones. Aplicación al Algoritmo de Hindley

    Laureano Lambán Pardo, Diego Sotés

    Actas del Décimo Encuentro de Álgebra Computacional y Aplicaciones: Book of abstracts Tenth Meeting on Computer Algebra and Applications : Sevilla, 7-9 de septiembre de 2006 / coord. por Francisco Jesús Castro Jiménez , José María Ucha Enríquez , 2006, ISBN 84-611-2311-5, págs. 119-122

    
  • Seleccionado

    Instituciones: matemáticas para la especificación en computación

    César Domínguez Fernández, Laureano Lambán Pardo, María Vico Pascual Martínez-Losa , Julio Rubio García

    Margarita mathematica: en memoria de José Javier (Chicho) Guadalupe Hernández / Luis Español González (ed. lit.) , Juan Luis Varona Malumbres (ed. lit.) , José Javier Guadalupe Hernández (hom.) , 2001, ISBN 84-95301-56-3, págs. 221-234

    • Texto completo
    
  • Seleccionado

    Modelling implementations as institution morphisms

    Carlos Domínguez, Laureano Lambán Pardo, Víctor Pascual Ayats, Juan Rubio Alonso

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 229-240

    
  • Seleccionado

    Simplicial sets in the EAT system

    Laureano Lambán Pardo, María Vico Pascual Martínez-Losa , Julio Rubio García

    EACA-99: Actas del quinto Encuentro de Álgebra Computacional y Aplicaciones : Tenerife, 8-11 de septiembre, 1999 / coord. por María Isabel Bermejo Díaz , 1999, págs. 267-276

    
  • Seleccionado

    Resultados de no calculabilidad en representaciones de Tipos Abstractos de Datos

    Laureano Lambán Pardo, María Vico Pascual Martínez-Losa , Julio Rubio García

    Tercer Encuentro de Algebra Computacional y Aplicaciones: Granada, Septiembre 25-27, 1997 : [EACA-97], 1997, págs. 133-140

    
  • Seleccionado

    Categorías de implementaciones de Tipos Abstractos de Datos

    Laureano Lambán Pardo, María Vico Pascual Martínez-Losa , Julio Rubio García

    Segundo Encuentro de Álgebra Computacional y Aplicaciones: Sevilla, 26 y 27 de Septiembre de 1996, 1996, págs. 86-94

    
  • Seleccionado

    Tipos abstractos de datos en álgebra homológica

    Laureano Lambán Pardo, Julio Rubio García

    Actas del primer Encuentro de Algebra Computacional y Aplicaciones, [EACA-95] : Santander, 18 y 19 de septiembre de 1995 / Laureano González Vega (ed. lit.) , 1995, págs. 113-122

    
  • Seleccionado

    Diagramas de Voronoi y Topología Digital

    Ángel Ramón Francés Román , Laureano Lambán Pardo, Ángel Luis Rubio García , Julio Rubio García

    VI Encuentros de Geometría Computacional: Barcelona, 5-6-7 de julio de 1995. Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya. Actas / coord. por Marc Noy Serrano , Carlos Seara, Mercè Claverol Aguas, M. del Roser Guardia Riera, Mercé Mora Giné , Carmen Hernando, Vera Sacristán Adinolfi , Ferran Hurtado Díaz , 1995, ISBN 84-605-3103-1, págs. 156-163

    
  • Seleccionado

    Dualidad entre bornologías y topologías

    Laureano Lambán Pardo

    Actas del IV Seminario de Topología : Leioa, 26 de septiembre a 2 de octubre de 1988 / coord. por Nieves Blasco Mardones, María Angeles de Prada Vicente , Marta Macho Stadler , 1988, págs. 53-60

    
  • Seleccionado

    M-estructuras y espacios secuenciales

    Laureano Lambán Pardo

    Actas de la II Reunión del Grupo de Geometría y Topología de Zaragoza, Sevilla y Logroño : Zaragoza, 5 al 8 de junio de 1986 / coord. por Julio Rubio García , Eladio Domínguez Murillo , 1987, ISBN 84-7733-015-8, págs. 93-100

    
  • Seleccionado

    La categoria de los espacios secuenciales

    Laureano Lambán Pardo

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987, Vol. 2, 1987, págs. 630-635

    

• Tesis

  • Seleccionado

    Construcciones en topos que extienden relaciones entre categorías de espacios topológicos y bornológicos

    Laureano Lambán Pardo

    Tesis doctoral dirigida por Luis Español González (dir. tes.) . Universidad de Zaragoza (1989).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Effective computation of invariants of finite topological spaces

    Julian L. Cuevas Rozo

    Tesis doctoral dirigida por Laureano Lambán Pardo (dir. tes.), Ana Romero Ibáñez (dir. tes.) , Humberto Sarria Zapata (dir. tes.) . Universidad de La Rioja (2021).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    • Tesis en acceso abierto en: repositorio.unal.edu.co
    
  • Seleccionado

    Especificación orientada a objetos de sistemas de cálculo simbólico

    César Domínguez

    Tesis doctoral dirigida por Laureano Lambán Pardo (dir. tes.), Julio Rubio García (dir. tes.) . Universidad de La Rioja (2003).

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

    Objetos localmente efectivos y tipos abstractos de datos

    María Vico Pascual Martínez-Losa

    Tesis doctoral dirigida por Laureano Lambán Pardo (dir. tes.), Julio Rubio García (dir. tes.) . Universidad de La Rioja (2002).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    

• Coordinación

  • Obras Colectivas

    • Seleccionado

      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 ; Mirian Andrés Gómez (hom.)

      Universidad de La Rioja, 2010. ISBN 978-84-96487-50-5

      

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.