by Caballero, Rafael, Artalejo, Mario Rodríguez, del Vado Vírseda, Rafael
Published in Lecture notes in computer science (2006)

by Lago, Joaquı́n Mateos, Artalejo, Mario Rodrı́guez
Published in Theoretical computer science (28.10.2001)

by LOPEZ FRAGUAS, Francisco J, RODRIGUEZ ARTALEJO, Mario, DEL VADO VIRSEDA, Rafael
Published in Higher-Order and Symbolic Computation (01.06.2007)

by RODRÍGUEZ-ARTALEJO, MARIO, ROMERO-DÍAZ, CARLOS A.
Published in Theory and practice of logic programming (01.07.2010)

by Rodríguez-Artalejo, Mario, Romero-Díaz, Carlos A.
Published in Proceedings of the 9th international conference on Functional and logic programming (14.04.2008)

by Caballero, Rafael, Artalejo, Mario Rodríguez, Del Vado Vírseda, Rafael
Published in Proceedings of the 9th international conference on Functional and logic programming (14.04.2008)

by Rodríguez-Artalejo, Mario, Romero-Díaz, Carlos A.
Published in Electronic notes in theoretical computer science (05.08.2009)

by Levi, Giorgio, Rodriguez-Artalejo, Mario
Published in Theoretical computer science (01.09.1996)

by López-Fraguas, F. Javier, Rodríguez-Artalejo, Mario, del Vado Vírseda, Rafael
Published in Electronic notes in theoretical computer science (20.01.2005)

by Leach, Javier, Nieva, Susana, Rodriguez-Artalejo, Mario
Year of Publication 26.04.2004

by Arenas-Sanchez, Puri, Rodriguez-Artalejo, Mario
Year of Publication 24.04.2004

by Rodríguez-Artalejo, Mario, Romero-Díaz, Carlos A.
Published in Functional and Logic Programming

by Rodriguez Artalejo, Mario
Published in Theoretical computer science (1985)

by Leach, Javier, Nieva, Susana, Rodriguez-Artalejo, Mario
Published in arXiv.org (26.04.2004)

by Arenas-Sanchez, Puri, Rodriguez-Artalejo, Mario
Published in arXiv.org (24.04.2004)

by Moreno-Navarro, Juan Jose, Rodriguez-Artalejo, Mario
Published in The journal of logic programming (01.02.1992)

by Caballero, Rafael, Rodríguez Artalejo, Mario, del Vado Vírseda, Rafael
Published in Functional and Logic Programming

by LEACH, JAVIER, NIEVA, SUSANA, RODRÍGUEZ-ARTALEJO, MARIO
Published in Theory and practice of logic programming (01.07.2001)

by ARENAS-SÁNCHEZ, PURI, RODRÍGUEZ-ARTALEJO, MARIO
Published in Theory and practice of logic programming (01.03.2001)

by Caballero, Rafael, Rodríguez-Artalejo, Mario
Published in Electronic notes in theoretical computer science (01.09.2002)