default search action
BibTeX records: Mario Rodríguez-Artalejo
@article{DBLP:journals/tplp/CaballeroRR14, author = {Rafael Caballero and Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, title = {A Transformation-based implementation for {CLP} with qualification and proximity}, journal = {Theory Pract. Log. Program.}, volume = {14}, number = {1}, pages = {1--63}, year = {2014}, url = {https://doi.org/10.1017/S1471068412000014}, doi = {10.1017/S1471068412000014}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/CaballeroRR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1201-5418, author = {Rafael Caballero and Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, title = {A Transformation-based Implementation for {CLP} with Qualification and Proximity}, journal = {CoRR}, volume = {abs/1201.5418}, year = {2012}, url = {http://arxiv.org/abs/1201.5418}, eprinttype = {arXiv}, eprint = {1201.5418}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1201-5418.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1101-2146, author = {Rafael Caballero and Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, title = {A Generic Scheme for Qualified Constraint Functional Logic Programming}, journal = {CoRR}, volume = {abs/1101.2146}, year = {2011}, url = {http://arxiv.org/abs/1101.2146}, eprinttype = {arXiv}, eprint = {1101.2146}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1101-2146.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/Rodriguez-ArtalejoR10, author = {Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, title = {A declarative semantics for {CLP} with qualification and proximity}, journal = {Theory Pract. Log. Program.}, volume = {10}, number = {4-6}, pages = {627--642}, year = {2010}, url = {https://doi.org/10.1017/S1471068410000323}, doi = {10.1017/S1471068410000323}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/Rodriguez-ArtalejoR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1007-3629, author = {Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, title = {A Declarative Semantics for {CLP} with Qualification and Proximity}, journal = {CoRR}, volume = {abs/1007.3629}, year = {2010}, url = {http://arxiv.org/abs/1007.3629}, eprinttype = {arXiv}, eprint = {1007.3629}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1007-3629.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1008-3863, author = {Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, title = {A Generic Scheme for Qualified Logic Programming}, journal = {CoRR}, volume = {abs/1008.3863}, year = {2010}, url = {http://arxiv.org/abs/1008.3863}, eprinttype = {arXiv}, eprint = {1008.3863}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1008-3863.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1008-3867, author = {Rafael Caballero and Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, title = {Similarity-based Reasoning in Qualified Logic Programming}, journal = {CoRR}, volume = {abs/1008.3867}, year = {2010}, url = {http://arxiv.org/abs/1008.3867}, eprinttype = {arXiv}, eprint = {1008.3867}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1008-3867.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1009-1976, author = {Rafael Caballero and Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, title = {A Transformation-based Implementation for {CLP} with Qualification and Proximity}, journal = {CoRR}, volume = {abs/1009.1976}, year = {2010}, url = {http://arxiv.org/abs/1009.1976}, eprinttype = {arXiv}, eprint = {1009.1976}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1009-1976.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1009-1977, author = {Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, title = {Fixpoint {\&} Proof-theoretic Semantics for {CLP} with Qualification and Proximity}, journal = {CoRR}, volume = {abs/1009.1977}, year = {2010}, url = {http://arxiv.org/abs/1009.1977}, eprinttype = {arXiv}, eprint = {1009.1977}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1009-1977.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/MartinHRVSF09, author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Mario Rodr{\'{\i}}guez{-}Artalejo and Rafael del Vado V{\'{\i}}rseda and Fernando S{\'{a}}enz{-}P{\'{e}}rez and Antonio J. Fern{\'{a}}ndez}, title = {On the cooperation of the constraint domains , \emph{R}, and \emph{F} in {CFLP}}, journal = {Theory Pract. Log. Program.}, volume = {9}, number = {4}, pages = {415--527}, year = {2009}, url = {https://doi.org/10.1017/S1471068409003780}, doi = {10.1017/S1471068409003780}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/MartinHRVSF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/CaballeroRR09, author = {Rafael Caballero and Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, editor = {Patricia M. Hill and David Scott Warren}, title = {Qualified Computations in Functional Logic Programming}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {449--463}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_36}, doi = {10.1007/978-3-642-02846-5\_36}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/CaballeroRR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0904-2136, author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Mario Rodr{\'{\i}}guez{-}Artalejo and Rafael del Vado V{\'{\i}}rseda and Fernando S{\'{a}}enz{-}P{\'{e}}rez and Antonio J. Fern{\'{a}}ndez}, title = {On the Cooperation of the Constraint Domains H, {R} and {FD} in {CFLP}}, journal = {CoRR}, volume = {abs/0904.2136}, year = {2009}, url = {http://arxiv.org/abs/0904.2136}, eprinttype = {arXiv}, eprint = {0904.2136}, timestamp = {Thu, 18 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0904-2136.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/Rodriguez-ArtalejoR08, author = {Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, editor = {Jacques Garrigue and Manuel V. Hermenegildo}, title = {Quantitative Logic Programming Revisited}, booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS} 2008, Ise, Japan, April 14-16, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4989}, pages = {272--288}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78969-7\_20}, doi = {10.1007/978-3-540-78969-7\_20}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/flops/Rodriguez-ArtalejoR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/CaballeroRV08, author = {Rafael Caballero and Mario Rodr{\'{\i}}guez{-}Artalejo and Rafael del Vado V{\'{\i}}rseda}, editor = {Jacques Garrigue and Manuel V. Hermenegildo}, title = {Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming}, booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS} 2008, Ise, Japan, April 14-16, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4989}, pages = {305--321}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78969-7\_22}, doi = {10.1007/978-3-540-78969-7\_22}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/flops/CaballeroRV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/CaballeroRR08, author = {Rafael Caballero and Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, editor = {Sergio Antoy and Elvira Albert}, title = {Similarity-based reasoning in qualified logic programming}, booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain}, pages = {185--194}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1389449.1389472}, doi = {10.1145/1389449.1389472}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/CaballeroRR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/MartinFHRSV08, author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and Antonio J. Fern{\'{a}}ndez and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Mario Rodr{\'{\i}}guez{-}Artalejo and Fernando S{\'{a}}enz{-}P{\'{e}}rez and Rafael del Vado V{\'{\i}}rseda}, editor = {Sergio Antoy and Elvira Albert}, title = {Cooperation of constraint domains in the \emph{TOY} system}, booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain}, pages = {258--268}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1389449.1389481}, doi = {10.1145/1389449.1389481}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/MartinFHRSV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Rodriguez-ArtalejoR09, author = {Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez}, title = {Qualified Logic Programming with Bivalued Predicates}, booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {248}, pages = {67--82}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.07.060}, doi = {10.1016/J.ENTCS.2009.07.060}, timestamp = {Thu, 09 Mar 2023 14:51:20 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Rodriguez-ArtalejoR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Lopez-FraguasRV07, author = {Francisco Javier L{\'{o}}pez{-}Fraguas and Mario Rodr{\'{\i}}guez{-}Artalejo and Rafael del Vado V{\'{\i}}rseda}, title = {A new generic scheme for functional logic programming with constraints}, journal = {High. Order Symb. Comput.}, volume = {20}, number = {1-2}, pages = {73--122}, year = {2007}, url = {https://doi.org/10.1007/s10990-007-9002-4}, doi = {10.1007/S10990-007-9002-4}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Lopez-FraguasRV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/CaballeroRV07, author = {Rafael Caballero and Mario Rodr{\'{\i}}guez{-}Artalejo and Rafael del Vado V{\'{\i}}rseda}, editor = {Ver{\'{o}}nica Dahl and Ilkka Niemel{\"{a}}}, title = {Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming}, booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto, Portugal, September 8-13, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4670}, pages = {425--427}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74610-2\_29}, doi = {10.1007/978-3-540-74610-2\_29}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/CaballeroRV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/CaballeroRV06, author = {Rafael Caballero and Mario Rodr{\'{\i}}guez{-}Artalejo and Rafael del Vado V{\'{\i}}rseda}, editor = {Sandro Etalle and Miroslaw Truszczynski}, title = {Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming}, booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4079}, pages = {421--422}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11799573\_31}, doi = {10.1007/11799573\_31}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/CaballeroRV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MartinFHRSV07, author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and Antonio J. Fern{\'{a}}ndez and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Mario Rodr{\'{\i}}guez{-}Artalejo and Fernando S{\'{a}}enz{-}P{\'{e}}rez and Rafael del Vado V{\'{\i}}rseda}, editor = {Paqui Lucio and Fernando Orejas}, title = {A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming}, booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, pages = {37--51}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.05.037}, doi = {10.1016/J.ENTCS.2007.05.037}, timestamp = {Tue, 31 Jan 2023 15:25:12 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MartinFHRSV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MartinFHRV07, author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and Antonio J. Fern{\'{a}}ndez and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Mario Rodr{\'{\i}}guez{-}Artalejo and Rafael del Vado V{\'{\i}}rseda}, editor = {Francisco Javier L{\'{o}}pez{-}Fraguas}, title = {A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the {CFLP} Scheme}, booktitle = {Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, {WFLP} 2006, Madrid, Spain, November 16-17, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {177}, pages = {235--252}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.01.026}, doi = {10.1016/J.ENTCS.2007.01.026}, timestamp = {Tue, 24 Jan 2023 12:32:48 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MartinFHRV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/CaballeroR04, author = {Rafael Caballero and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Yukiyoshi Kameyama and Peter J. Stuckey}, title = {{DDT:} a Declarative Debugging Tool for Functional-Logic Languages}, booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS} 2004, Nara, Japan, April 7-9, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2998}, pages = {70--84}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24754-8\_7}, doi = {10.1007/978-3-540-24754-8\_7}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/flops/CaballeroR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Lopez-FraguasRV04, author = {Francisco Javier L{\'{o}}pez{-}Fraguas and Mario Rodr{\'{\i}}guez{-}Artalejo and Rafael del Vado V{\'{\i}}rseda}, editor = {Eugenio Moggi and David Scott Warren}, title = {A lazy narrowing calculus for declarative constraint programming}, booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy}, pages = {43--54}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1013963.1013972}, doi = {10.1145/1013963.1013972}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/Lopez-FraguasRV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Lopez-FraguasRV05, author = {Francisco Javier L{\'{o}}pez{-}Fraguas and Mario Rodr{\'{\i}}guez{-}Artalejo and Rafael del Vado V{\'{\i}}rseda}, editor = {Narciso Mart{\'{\i}}{-}Oliet}, title = {Constraint Functional Logic Programming Revisited}, booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {117}, pages = {5--50}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.06.030}, doi = {10.1016/J.ENTCS.2004.06.030}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Lopez-FraguasRV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-PL-0404050, author = {Puri Arenas{-}S{\'{a}}nchez and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types}, journal = {CoRR}, volume = {cs.PL/0404050}, year = {2004}, url = {http://arxiv.org/abs/cs/0404050}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-PL-0404050.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-PL-0404053, author = {Javier Leach and Susana Nieva and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Constraint Logic Programming with Hereditary Harrop Formula}, journal = {CoRR}, volume = {cs.PL/0404053}, year = {2004}, url = {http://arxiv.org/abs/cs/0404053}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-PL-0404053.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jflp/HuR03, author = {Zhenjiang Hu and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Editorial: the Sixth International Symposium on Functional and Logic Programming}, journal = {J. Funct. Log. Program.}, volume = {2003}, year = {2003}, url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2003/S03-01/JFLP-E03-01/editorial.pdf}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jflp/HuR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/flops/2002, editor = {Zhenjiang Hu and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Functional and Logic Programming, 6th International Symposium, {FLOPS} 2002, Aizu, Japan, September 15-17, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2441}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45788-7}, doi = {10.1007/3-540-45788-7}, isbn = {3-540-44233-2}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/flops/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jflp/Gonzalez-MorenoHR01, author = {Juan Carlos Gonz{\'{a}}lez Moreno and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Polymorphic Types in Functional Logic Programming}, journal = {J. Funct. Log. Program.}, volume = {2001}, number = {1}, year = {2001}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jflp/Gonzalez-MorenoHR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Mateos-LagoR01, author = {Joaqu{\'{\i}}n Mateos{-}Lago and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {A declarative framework for object-oriented programming with genetic inheritance}, journal = {Theor. Comput. Sci.}, volume = {269}, number = {1-2}, pages = {363--417}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(01)00013-5}, doi = {10.1016/S0304-3975(01)00013-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Mateos-LagoR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/Arenas-SanchezR01, author = {Puri Arenas{-}S{\'{a}}nchez and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types}, journal = {Theory Pract. Log. Program.}, volume = {1}, number = {2}, pages = {185--245}, year = {2001}, url = {http://journals.cambridge.org/action/displayAbstract?aid=74981}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/Arenas-SanchezR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/LeachNR01, author = {Javier Leach and Susana Nieva and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Constraint Logic Programming with Hereditary Harrop Formula}, journal = {Theory Pract. Log. Program.}, volume = {1}, number = {4}, pages = {409--445}, year = {2001}, url = {https://doi.org/10.1017/S1471068401001041}, doi = {10.1017/S1471068401001041}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/LeachNR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/CaballeroLR01, author = {Rafael Caballero and Francisco Javier L{\'{o}}pez{-}Fraguas and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Herbert Kuchen and Kazunori Ueda}, title = {Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs}, booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS} 2001, Tokyo, Japan, March 7-9, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2024}, pages = {170--184}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44716-4\_11}, doi = {10.1007/3-540-44716-4\_11}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/flops/CaballeroLR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CaballeroR02, author = {Rafael Caballero and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Michael Hanus}, title = {A Declarative Debugging System for Lazy Functional Logic Programs}, booktitle = {International Workshop on Functional and (Constraint) Logic Programming, {WFLP} 2001, Kiel, Germany, September 13-15, 2001, Selected Papers}, series = {Electronic Notes in Theoretical Computer Science}, volume = {64}, pages = {113--175}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)80349-9}, doi = {10.1016/S1571-0661(04)80349-9}, timestamp = {Mon, 05 Dec 2022 15:44:50 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CaballeroR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wflp/CaballeroLR00, author = {Rafael Caballero and Francisco Javier L{\'{o}}pez{-}Fraguas and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Mar{\'{\i}}a Alpuente}, title = {A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program}, booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000}, pages = {8--22}, year = {2000}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wflp/CaballeroLR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Gonzalez-MorenoHLR99, author = {Juan Carlos Gonz{\'{a}}lez Moreno and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Francisco Javier L{\'{o}}pez{-}Fraguas and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {An Approach to Declarative Programming Based on a Rewriting Logic}, journal = {J. Log. Program.}, volume = {40}, number = {1}, pages = {47--87}, year = {1999}, url = {https://doi.org/10.1016/S0743-1066(98)10029-8}, doi = {10.1016/S0743-1066(98)10029-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Gonzalez-MorenoHLR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccl/Rodriguez-Artalejo99, author = {Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Hubert Comon and Claude March{\'{e}} and Ralf Treinen}, title = {Functional and Constraint Logic Programming}, booktitle = {Constraints in Computational Logics: Theory and Applications, International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {2002}, pages = {202--270}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-45406-3\_5}, doi = {10.1007/3-540-45406-3\_5}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/ccl/Rodriguez-Artalejo99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/Gonzalez-MorenoHR99, author = {Juan Carlos Gonz{\'{a}}lez Moreno and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Aart Middeldorp and Taisuke Sato}, title = {Semantics and Types in Functional Logic Programming}, booktitle = {Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1722}, pages = {1--20}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/10705424\_1}, doi = {10.1007/10705424\_1}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/flops/Gonzalez-MorenoHR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/csl/1999, editor = {J{\"{o}}rg Flum and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1683}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48168-0}, doi = {10.1007/3-540-48168-0}, isbn = {3-540-66536-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/1999.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Gonzalez-MorenoHR97, author = {Juan Carlos Gonz{\'{a}}lez Moreno and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Lee Naish}, title = {A Higher Order Rewriting Logic for Functional Logic Programming}, booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997}, pages = {153--167}, publisher = {{MIT} Press}, year = {1997}, timestamp = {Mon, 02 Dec 2013 17:40:44 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Gonzalez-MorenoHR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/Arenas-SanchezR97, author = {Puri Arenas{-}S{\'{a}}nchez and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Jan Maluszynski}, title = {A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types}, booktitle = {Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997}, pages = {53--67}, publisher = {{MIT} Press}, year = {1997}, timestamp = {Fri, 10 Jul 2015 12:20:33 +0200}, biburl = {https://dblp.org/rec/conf/slp/Arenas-SanchezR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/LeachNR97, author = {Javier Leach and Susana Nieva and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Jan Maluszynski}, title = {Constraint Logic Programming with Hereditary Harrop Formulas}, booktitle = {Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997}, pages = {307--321}, publisher = {{MIT} Press}, year = {1997}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/LeachNR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapsoft/Arenas-SanchezR97, author = {Puri Arenas{-}S{\'{a}}nchez and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Michel Bidoit and Max Dauchet}, title = {A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types}, booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1214}, pages = {453--464}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0030618}, doi = {10.1007/BFB0030618}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/Arenas-SanchezR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ngc/KuchenLMR96, author = {Herbert Kuchen and Rita Loogen and Juan Jos{\'{e}} Moreno{-}Navarro and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {The Functional Logic Language {BABEL} and Its Implementation on a Graph Machine}, journal = {New Gener. Comput.}, volume = {14}, number = {4}, pages = {391--427}, year = {1996}, url = {https://doi.org/10.1007/BF03037211}, doi = {10.1007/BF03037211}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ngc/KuchenLMR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/Gonzalez-MorenoHLR96, author = {Juan Carlos Gonz{\'{a}}lez Moreno and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Francisco Javier L{\'{o}}pez{-}Fraguas and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Hanne Riis Nielson}, title = {A Rewriting Logic for Declarative Programming}, booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1058}, pages = {156--172}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61055-3\_35}, doi = {10.1007/3-540-61055-3\_35}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/Gonzalez-MorenoHLR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Mateos-LagoR96, author = {Joaqu{\'{\i}}n Mateos{-}Lago and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {{GOTA} Algebras: {A} Specification Formalism for Inheritance and Object Hierarchies}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {62--76}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_77}, doi = {10.1007/3-540-61756-6\_77}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Mateos-LagoR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/alp/1996, editor = {Michael Hanus and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1139}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61735-3}, doi = {10.1007/3-540-61735-3}, isbn = {3-540-61735-3}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alp/1996.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/Rodriguez-Artalejo95, author = {Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {John W. Lloyd}, title = {The Challenge of Declarative Programming (Panel Abstract)}, booktitle = {Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995}, pages = {629--630}, publisher = {{MIT} Press}, year = {1995}, url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299965}, timestamp = {Wed, 11 Aug 2021 17:02:32 +0200}, biburl = {https://dblp.org/rec/conf/slp/Rodriguez-Artalejo95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/BorgerLR94, author = {Egon B{\"{o}}rger and Francisco Javier L{\'{o}}pez{-}Fraguas and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Bj{\"{o}}rn Pehrson and Imre Simon}, title = {A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations}, booktitle = {Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994}, series = {{IFIP} Transactions}, volume = {{A-51}}, pages = {410--415}, publisher = {North-Holland}, year = {1994}, timestamp = {Tue, 15 Mar 2016 13:03:03 +0100}, biburl = {https://dblp.org/rec/conf/ifip/BorgerLR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/alp/1994, editor = {Giorgio Levi and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {850}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58431-5}, doi = {10.1007/3-540-58431-5}, isbn = {3-540-58431-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alp/1994.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LoogenFR93, author = {Rita Loogen and Francisco Javier L{\'{o}}pez{-}Fraguas and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Maurice Bruynooghe and Jaan Penjam}, title = {A Demand Driven Computation Strategy for Lazy Narrowing}, booktitle = {Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {714}, pages = {184--200}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57186-8\_79}, doi = {10.1007/3-540-57186-8\_79}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LoogenFR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Moreno-NavarroR92, author = {Juan Jos{\'{e}} Moreno{-}Navarro and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Logic Programming with Functions and Predicates: The Language {BABEL}}, journal = {J. Log. Program.}, volume = {12}, number = {3{\&}4}, pages = {191--223}, year = {1992}, url = {https://doi.org/10.1016/0743-1066(92)90024-W}, doi = {10.1016/0743-1066(92)90024-W}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Moreno-NavarroR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Gavilanes-FrancoLR92, author = {Antonio Gavilanes{-}Franco and Francisca Lucio{-}Carrasco and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Egon B{\"{o}}rger and Gerhard J{\"{a}}ger and Hans Kleine B{\"{u}}ning and Simone Martini and Michael M. Richter}, title = {Reasoning with Higher Order Partial Functions}, booktitle = {Computer Science Logic, 6th Workshop, {CSL} '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {702}, pages = {167--181}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-56992-8\_12}, doi = {10.1007/3-540-56992-8\_12}, timestamp = {Fri, 17 Jul 2020 16:12:45 +0200}, biburl = {https://dblp.org/rec/conf/csl/Gavilanes-FrancoLR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Gonzalez-MorenoHR92, author = {Juan Carlos Gonz{\'{a}}lez Moreno and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Egon B{\"{o}}rger and Gerhard J{\"{a}}ger and Hans Kleine B{\"{u}}ning and Simone Martini and Michael M. Richter}, title = {On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming}, booktitle = {Computer Science Logic, 6th Workshop, {CSL} '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {702}, pages = {216--230}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-56992-8\_14}, doi = {10.1007/3-540-56992-8\_14}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/Gonzalez-MorenoHR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/KuchenLMR92, author = {Herbert Kuchen and Francisco Javier L{\'{o}}pez{-}Fraguas and Juan Jos{\'{e}} Moreno{-}Navarro and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Krzysztof R. Apt}, title = {Implementing a Lazy Functional Logic Language with Disequality Constraints}, booktitle = {Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC, USA, November 1992}, pages = {207--221}, publisher = {{MIT} Press}, year = {1992}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/KuchenLMR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Gonzalez-MorenoHR91, author = {Juan Carlos Gonz{\'{a}}lez Moreno and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Egon B{\"{o}}rger and Gerhard J{\"{a}}ger and Hans Kleine B{\"{u}}ning and Michael M. Richter}, title = {Denotational Versus Declarative Semantics for Functional Programming}, booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland, October 7-11, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {626}, pages = {134--148}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/BFb0023763}, doi = {10.1007/BFB0023763}, timestamp = {Fri, 17 Jul 2020 16:12:45 +0200}, biburl = {https://dblp.org/rec/conf/csl/Gonzalez-MorenoHR91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icalp/1991, editor = {Javier Leach Albert and Burkhard Monien and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {510}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54233-7}, doi = {10.1007/3-540-54233-7}, isbn = {3-540-54233-7}, timestamp = {Fri, 17 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/1991.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/Moreno-NavarroKLR90, author = {Juan Jos{\'{e}} Moreno{-}Navarro and Herbert Kuchen and Rita Loogen and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {H{\'{e}}l{\`{e}}ne Kirchner and Wolfgang Wechler}, title = {Lazy Narrowing in a Graph Machine}, booktitle = {Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {463}, pages = {298--317}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-53162-9\_47}, doi = {10.1007/3-540-53162-9\_47}, timestamp = {Fri, 17 Jul 2020 16:12:48 +0200}, biburl = {https://dblp.org/rec/conf/alp/Moreno-NavarroKLR90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/KuchenLMR90, author = {Herbert Kuchen and Rita Loogen and Juan Jos{\'{e}} Moreno{-}Navarro and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Neil D. Jones}, title = {Graph-based Implementation of a Functional Logic Langugage}, booktitle = {ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {432}, pages = {271--290}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-52592-0\_69}, doi = {10.1007/3-540-52592-0\_69}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/KuchenLMR90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/EbbinghausFGLR89, author = {Heinz{-}Dieter Ebbinghaus and Jos{\'{e}} Fern{\'{a}}ndez{-}Prida and Manuel Garrido and Daniel Lascar and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {European Summer Meeting of the Association for Symbolic Logic}, journal = {J. Symb. Log.}, volume = {54}, number = {2}, pages = {647--672}, year = {1989}, url = {https://doi.org/10.2307/2274896}, doi = {10.2307/2274896}, timestamp = {Tue, 07 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/EbbinghausFGLR89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Hortala-GonzalezR89, author = {Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Hoare's Logic for Nondeterministic Regular Programs: {A} Nonstandard Approach}, journal = {Theor. Comput. Sci.}, volume = {68}, number = {3}, pages = {277--302}, year = {1989}, url = {https://doi.org/10.1016/0304-3975(89)90165-5}, doi = {10.1016/0304-3975(89)90165-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Hortala-GonzalezR89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Hortala-Gonzalezlm88, author = {Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Francisca Lucio{-}Carrasco and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Some General Incompleteness Results for Partial Correctness Logics}, journal = {Inf. Comput.}, volume = {79}, number = {1}, pages = {22--42}, year = {1988}, url = {https://doi.org/10.1016/0890-5401(88)90015-6}, doi = {10.1016/0890-5401(88)90015-6}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Hortala-Gonzalezlm88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/Moreno-NavarroR88, author = {Juan Jos{\'{e}} Moreno{-}Navarro and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Jan Grabowski and Pierre Lescanne and Wolfgang Wechler}, title = {{BABEL:} {A} Functional and Logic Programming Language based on Constructor Discipline and Narrowing}, booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {343}, pages = {223--232}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50667-5\_74}, doi = {10.1007/3-540-50667-5\_74}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/alp/Moreno-NavarroR88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Rodriguez-Artalejo85, author = {Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Some Questions about Expressiveness and Relative Completeness in Hoare's Logic}, journal = {Theor. Comput. Sci.}, volume = {39}, pages = {189--206}, year = {1985}, url = {https://doi.org/10.1016/0304-3975(85)90138-0}, doi = {10.1016/0304-3975(85)90138-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Rodriguez-Artalejo85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Hortala-GonzalezR85, author = {Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Mario Rodr{\'{\i}}guez{-}Artalejo}, editor = {Wilfried Brauer}, title = {Hoare's Logic for Nondeterministic Regular Programs: {A} Nonstandard Completeness Theorem}, booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {194}, pages = {270--280}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/BFb0015752}, doi = {10.1007/BFB0015752}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Hortala-GonzalezR85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Rodriguez-Artalejo81, author = {Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {Eine syntaktisch-algebraische Methode zur Konstruktion von Modellen}, journal = {Math. Log. Q.}, volume = {27}, number = {2-6}, pages = {59--71}, year = {1981}, url = {https://doi.org/10.1002/malq.19810270206}, doi = {10.1002/MALQ.19810270206}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Rodriguez-Artalejo81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.