Вы здесь

Главная

Rodriguez-Artalejo M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ DDT: A Declarative Debugging Tool for Functional-Logic Languages 2004 Caballero R., Rodriguez-Artalejo M. Lecture Notes in Computer Science 07.05.2004
СТ Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs 2001 Caballero R., Lopez-Fraguas F. J., Rodriguez-Artalejo M. Lecture Notes in Computer Science 06.04.2001
СТ Semantics and Types in Functional Logic Programming 1999 Gonzalez-Moreno J. C., Hortala-Gonzalez M. T., Rodriguez-Artalejo M. Lecture Notes in Computer Science 25.11.1999
СТ Functional Plus Logic Programming with Built-In and Symbolic Constraints 1999 Arenas-Sancez P., Lopez-Fraguas F. J., Rodriguez-Artalejo M. Lecture Notes in Computer Science 27.10.1999
СТ Embedding Multiset Constraints into a Lazy Functional Logic Language 1998 Arenas-Sanchez P., Lopez-Fraguas F. J., Rodriguez-Artalejo M. Lecture Notes in Computer Science 13.10.1998
СТ A Higher Order Rewriting Logic for Functional Logic Programming 1997 Gonzalez-Moreno J. C., Hortala-Gonzalez M. T., Rodriguez-Artalejo M. Logic Programming 11.03.1998
СТ A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types 1997 Arenas-Sanchez P., Rodriguez-Artalejo M. Logic Programming 05.03.1998
СТ A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types 1997 Arenas-Sanchez P., Rodriguez-Artalejo M. Lecture Notes in Computer Science 16.05.1997
СТ GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies 1996 Mateos-Lago J., Rodriguez-Artalejo M. Lecture Notes in Computer Science 20.11.1996
СТ Reasoning with Higher Order Partial Functions 1993 Gavilanes-Franco A., Lucio-Carrasco F., Rodriguez-Artalejo M. Lecture Notes in Computer Science 06.11.1993
СТ On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming 1993 Gonzalez-Moreno J. C., Hortala-Gonzalez M. T., Rodriguez-Artalejo M. Lecture Notes in Computer Science 06.11.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Functional and Logic Programming: Proc./6th Intern. Symp., FLOPS 2002, Aizu, Japan, September 2002 2002 Lecture Notes in Computer Science
  1. Hu Z.
  2. Rodriguez-Artalejo M.
 23.10.2002
СБ Computer Science Logic: Proc./13th Intern. Workshop, CSL 99, 8th Annual Conf. of the EACSL. Madrid, Spain, September 1999 1999 Lecture Notes in Computer Science
  1. Flum J.
  2. Rodriguez-Artalejo M.
 12.11.1999
СБ Algebraic and Logic Programming: Proc./4th Intern. Conf., ALP 94. Madrid, Spain, September 1994 1994 Lecture Notes in Computer Science
  1. Levi G.
  2. Rodriguez-Artalejo M.
 31.10.1994