Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-04-25 05:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
