Mario Rodríguez Artalejo

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (3)
• Libros (3)
• Tesis (1)
• Tesis dirigidas (9)

• Artículos de revistas

  • Seleccionado

    Seminario sobre planes de estudios universitarios en Informática

    Jorge Bondía Company , J. Buján, Ernesto García Camarero, Mª L. González, A. Guijarro, C. Marco Peris, P. Martín Yebra, Teresa Molina Avila, Isidro Ramos Salavert , A. Ríus Galindo, Mario Rodríguez Artalejo, José Luis San Emeterio Prieto

    Boletín del Centro de Cálculo de la Universidad de Madrid, Nº. 18, 1972, pág. 35

    • Texto completo
    

• Colaboraciones en obras colectivas

  • Seleccionado

    Similitary based reasoning in qualified logic programming

    Rafael Caballero, Mario Rodríguez Artalejo, Carlos A. Romero Díaz

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

    
  • Seleccionado

    A declarative debugger of wrong answers for lazy functional logic programs

    Rafael Caballero, Mario Rodríguez Artalejo

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

    
  • Seleccionado

    Diseño y semántica de lenguajes lógico-funcionales

    Mario Rodríguez Artalejo

    III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] / Juan Carlos Torres Cantero (dir. congr.) , 1997, ISBN 84-8498-463-X, pág. 3

    • Resumen
    

• Libros

  • Seleccionado

    Matemática discreta y lógica matemática

    María Teresa Hortala González , Javier Leach , Mario Rodríguez Artalejo

    Universidad Complutense de Madrid, Editorial Complutense, 2008. ISBN 978-84-7491-934-9

    
  • Seleccionado

    Matemática discreta y lógica matemática

    María Teresa Hortala González , Mario Rodríguez Artalejo, Javier Leach

    Universidad Complutense de Madrid, Editorial Complutense, 1998. ISBN 84-89784-37-X

    
  • Seleccionado

    Lógica para matemáticos

    A. G. Hamilton, Mario Rodríguez Artalejo (trad.)

    Thomson-Paraninfo, 1981. ISBN 84-283-1101-3

    Ha sido reseñado en:

    • Lógica para matemáticos

      Lorenzo Peña (res.)

      Contextos, ISSN 0212-6192, Nº 4, 1984, págs. 211-212

    

• Tesis

  • Seleccionado

    Un método de aproximaciones finitas en la lógica de primer orden

    Mario Rodríguez Artalejo

    Tesis doctoral dirigida por Baldomero Rubio Segovia (dir. tes.) . Universidad Complutense de Madrid (1978).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Programación declarativa cualificada con restricciones

    Carlos A. Romero Díaz

    Tesis doctoral dirigida por Rafael Caballero Roldán (dir. tes.) , Mario Rodríguez Artalejo (dir. tes.). Universidad Complutense de Madrid (2011).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa

    Rafael del Vado Vírseda

    Tesis doctoral dirigida por Mario Rodríguez Artalejo (dir. tes.). Universidad Complutense de Madrid (2009).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales

    Rafael Caballero Roldán

    Tesis doctoral dirigida por Mario Rodríguez Artalejo (dir. tes.). Universidad Complutense de Madrid (2004).

    • Resumen
    
  • Seleccionado

    Programación declarativa con restricciones sobre tipos de datos algebraicos

    Purificación Arenas Sánchez

    Tesis doctoral dirigida por Mario Rodríguez Artalejo (dir. tes.). Universidad Complutense de Madrid (1999).

    • Resumen
    
  • Seleccionado

    Lógica parcial trivalorada. Aproximaciones de primer orden, de orden superior e intuicionista

    Paqui Lucio

    Tesis doctoral dirigida por Mario Rodríguez Artalejo (dir. tes.). Universidad Complutense de Madrid (1994).

    • Resumen
    
  • Seleccionado

    Programación funcional y lógica con restricciones

    Francisco Javier López Fraguas

    Tesis doctoral dirigida por Mario Rodríguez Artalejo (dir. tes.). Universidad Complutense de Madrid (1994).

    • Resumen
    
  • Seleccionado

    Una aproximación a la programación lógica con funciones indeterministas

    Antonio Sarmiento Escalona

    Tesis doctoral dirigida por Mario Rodríguez Artalejo (dir. tes.). Universidade da Coruña (1993).

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

    Una lógica trivalorada para funciones recursivas parciales

    Antonio Javier Gavilanes Franco

    Tesis doctoral dirigida por Mario Rodríguez Artalejo (dir. tes.). Universidad Complutense de Madrid (1990).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Diseño, semántica e implementación de Babel: un lenguaje que integra la programación funcional y lógica

    Juan José Moreno Navarro

    Tesis doctoral dirigida por Mario Rodríguez Artalejo (dir. tes.). Universidad Politécnica de Madrid (1989).

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