"Mario Rodriquez-Artalejo" appeared in Books and Chapters

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Mario Rodriquez-Artalejo

"Mario Rodriquez-Artalejo" appeared in Books and Chapters

entries per page

Filter:

Showing 1 to 5 of 5 entries

Book	Author(s)	Year	Publisher
Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings	Zhenjiang Hu; Mario Rodriquez-Artalejo	2002	Springer Berlin Heidelberg
Algebraic and Logic Programming: 4th International Conference, ALP ' 94, Madrid, Spain, September 14-16, 1994. Proceedings	Giorgio Levi; Mario Rodriguez-Artalejo	1994	Springer Berlin Heidelberg
Computer Science Logic: 13th International Workshop, CSL' 99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings	Jörg Flum; Mario Rodriguez-Artalejo	1999	Springer Berlin Heidelberg
Algebraic and Logic Programming: 5th International Conference, ALP ' 96, Aachen, Germany, September 25 - 27, 1996. Proceedings	Michael Hanus; Mario Rodríguez-Artalejo	1996	Springer Berlin Heidelberg
Automata, Languages and Programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings	Javier Leach Albert; Burkhard Monien; Mario Rodriguez Artalejo	1991	Springer Berlin Heidelberg
Boook	Author(s)	Year	Publisher

Showing 1 to 5 of 5 entries

«
‹
1
›
»

entries per page

Filter:

Showing 1 to 15 of 15 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Functional and Constraint Logic Programming	Mario Rodríguez-Artalejo	Constraints in Computational Logics: Theory and Applications: International Summer School, CCL' 99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures	Hubert Comon; Claude Marche; Ralf Treinen	2001	Springer Berlin Heidelberg
Pathogen evolution issues in genetically modified mosquito vector strategies	Mario H. Rodriquez	Bridging laboratory and field research for genetic control of disease vectors	C. Louis	2006	Springer
$\mathcal{DDT}$: a Declarative Debugging Tool for Functional-Logic Languages	Rafael Caballero; Mario Rodríguez-Artalejo	Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings	Yukiyoshi Kameyama; Peter J. Stuckey	2004	Springer Berlin Heidelberg
GOTA algebras: A specification formalism for inheritance and object hierarchies	Joaquín Mateos-Lago; Mario Rodríguez-Artalejo	Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP ' 96, Aachen, Germany, September 24 - 27, 1996. Proceedings	Herbert Kuchen; S.Doaitse Swierstra	1996	Springer Berlin Heidelberg
Quantitative Logic Programming Revisited	Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz	Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings	Jacques Garrigue; Manuel Hermenegildo	2008	Springer Berlin Heidelberg
Babel: A functional and logic programming language based on constructor discipline and narrowing	Juan José Moreno-Navarro; Mario Rodríguez-Artalejo	Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings	Jan Grabowski; Pierre Lescanne; Wolfgang Wechler	1988	Springer Berlin Heidelberg
BABEL: A Functional and Logic Programing Language based on constructor discipline and narrowing	Juan José Moreno-Navarro; Mario Rodríguez-Artalejo	Algebraic and Logic Programming: Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988	Jan Grabowski; Pierre Lescanne; Wolfgang Wechler	1988	De Gruyter
A demand driven computation strategy for lazy narrowing	Rita Loogen; Francisco López Fraguas; Mario Rodríguez Artalejo	Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP ' 93, Tallinn, Estonia, August 25-27, 1993. Proceedings	Maurice Bruynooghe; Jaan Penjam	1993	Springer Berlin Heidelberg
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming	Rafael Caballero; Mario Rodríguez Artalejo; Rafael del Vado Vírseda	Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings	Jacques Garrigue; Manuel Hermenegildo	2008	Springer Berlin Heidelberg
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming	Rafael Caballero; Mario Rodríguez Artalejo; Rafael del Vado Vírseda	Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings	Sandro Etalle; Mirosław Truszczyński	2006	Springer Berlin Heidelberg
Qualified Computations in Functional Logic Programming	Rafael Caballero; Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz	Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings	Patricia M. Hill; David S. Warren	2009	Springer Berlin Heidelberg
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs	Rafael Caballero; Francisco J. López-Fraguas; Mario Rodrìguez-Artalejo	Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings	Herbert Kuchen; Kazunori Ueda	2001	Springer Berlin Heidelberg
On the completeness of narrowing as the operational semantics of functional logic programming	Juan Carlos González-Moreno; María Teresa Hortalá-González; Mario Rodríguez-Artalejo	Computer Science Logic: 6th Workshop, CSL' 92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers	Egon Börger; Gerhard Jäger; Hans Kleine Büning; Simone Martini; Michael M. Richter	1993	Springer Berlin Heidelberg
Graph-based implementation of a functional logic language	Herbert Kuchen; Rita Loogen; Juan José Moreno-Navarro; Mario Rodríguez-Artalejo	ESOP ' 90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings	Neil Jones	1990	Springer Berlin Heidelberg
Denotational versus declarative semantics for functional programming	Juan Carlos; González Moreno; Maria Teresa Hortalá González; Mario Rodríguez Artalejo	Computer Science Logic: 5th Workshop, CSL ' 91, Berne, Switzerland, October 7-11, 1991. Proceedings	Egon Börger; Gerhard Jäger; Hans Kleine Büning; Michael M. Richter	1992	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 15 of 15 entries

«
‹
1
›
»