default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Susana Nieva
@article{DBLP:journals/iandc/NievaSS20,
author = {Susana Nieva and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
title = {{HR-SQL:} Extending {SQL} with hypothetical reasoning and improved
recursion for current database systems},
journal = {Inf. Comput.},
volume = {271},
pages = {104485},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2019.104485},
doi = {10.1016/J.IC.2019.104485},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/NievaSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MontenegroNPS20,
author = {Manuel Montenegro and
Susana Nieva and
Ricardo Pe{\~{n}}a and
Clara Segura},
title = {Extending Liquid Types to Arrays},
journal = {{ACM} Trans. Comput. Log.},
volume = {21},
number = {2},
pages = {13:1--13:41},
year = {2020},
url = {https://doi.org/10.1145/3362740},
doi = {10.1145/3362740},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/MontenegroNPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiptonN18,
author = {James Lipton and
Susana Nieva},
title = {Kripke semantics for higher-order type theory applied to constraint
logic programming languages},
journal = {Theor. Comput. Sci.},
volume = {712},
pages = {1--37},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2017.11.005},
doi = {10.1016/J.TCS.2017.11.005},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LiptonN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MontenegroNPS17,
author = {Manuel Montenegro and
Susana Nieva and
Ricardo Pe{\~{n}}a and
Clara Segura},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Liquid Types for Array Invariant Synthesis},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {289--306},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_20},
doi = {10.1007/978-3-319-68167-2\_20},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/MontenegroNPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Aranda-LopezNSS14,
author = {Gabriel Aranda{-}L{\'{o}}pez and
Susana Nieva and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
title = {An extended constraint deductive database: Theory and implementation},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {1},
pages = {20--52},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2013.07.002},
doi = {10.1016/J.JLAP.2013.07.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Aranda-LopezNSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Aranda-LopezNSS13,
author = {Gabriel Aranda{-}L{\'{o}}pez and
Susana Nieva and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Incorporating Hypothetical Views and Extended Recursion into {SQL}
Database Systems},
booktitle = {{LPAR} 2013, 19th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch,
South Africa, Short papers proceedings},
series = {EPiC Series in Computing},
volume = {26},
pages = {9--22},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/3drl},
doi = {10.29007/3DRL},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Aranda-LopezNSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Aranda-LopezNSS13,
author = {Gabriel Aranda{-}L{\'{o}}pez and
Susana Nieva and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
editor = {Konstantinos Sagonas},
title = {Formalizing a Broader Recursion Coverage in {SQL}},
booktitle = {Practical Aspects of Declarative Languages - 15th International Symposium,
{PADL} 2013, Rome, Italy, January 21-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7752},
pages = {93--108},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45284-0\_7},
doi = {10.1007/978-3-642-45284-0\_7},
timestamp = {Sun, 02 Jun 2019 21:22:27 +0200},
biburl = {https://dblp.org/rec/conf/padl/Aranda-LopezNSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Aranda-LopezNSS09,
author = {Gabriel Aranda{-}L{\'{o}}pez and
Susana Nieva and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Implementing a fixed point semantics for a constraint deductive database
based on hereditary harrop formulas},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {117--128},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599426},
doi = {10.1145/1599410.1599426},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Aranda-LopezNSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/NievaSS08,
author = {Susana Nieva and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez and
Fernando S{\'{a}}enz{-}P{\'{e}}rez},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Formalizing a Constraint Deductive Database Language Based on Hereditary
Harrop Formulas with Negation},
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 = {289--304},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_21},
doi = {10.1007/978-3-540-78969-7\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/NievaSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/LiptonN07,
author = {James Lipton and
Susana Nieva},
editor = {Simona Ronchi Della Rocca},
title = {Higher-Order Logic Programming Languages with Constraints: {A} Semantics},
booktitle = {Typed Lambda Calculi and Applications, 8th International Conference,
{TLCA} 2007, Paris, France, June 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4583},
pages = {272--289},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73228-0\_20},
doi = {10.1007/978-3-540-73228-0\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/LiptonN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Garcia-DiazN04,
author = {Miguel Garc{\'{\i}}a{-}D{\'{\i}}az and
Susana Nieva},
title = {Formalizing Two Fixed Point Semantics for {HH(C)}},
journal = {J. Funct. Log. Program.},
volume = {2004},
year = {2004},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/S04-01/A2004-04/JFLP-A2004-04.pdf},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/Garcia-DiazN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Garcia-DiazN04,
author = {Miguel Garc{\'{\i}}a{-}D{\'{\i}}az and
Susana Nieva},
editor = {Eugenio Moggi and
David Scott Warren},
title = {Providing declarative semantics for {HH} extended constraint logic
programs},
booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 24-26 August 2004,
Verona, Italy},
pages = {55--66},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1013963.1013973},
doi = {10.1145/1013963.1013973},
timestamp = {Mon, 16 Jul 2018 07:53:30 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Garcia-DiazN04.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/Garcia-DiazN03,
author = {Miguel Garc{\'{\i}}a{-}D{\'{\i}}az and
Susana Nieva},
title = {Solving Constraints for an Instance of an Extended {CLP} Language
over a Domain Based on Real Numbers and Herbrand Terms},
journal = {J. Funct. Log. Program.},
volume = {2003},
year = {2003},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2003/S03-01/JFLP-A03-02/rhjflp.pdf},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/Garcia-DiazN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Garcia-DiazN02,
author = {Miguel Garc{\'{\i}}a{-}D{\'{\i}}az and
Susana Nieva},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Solving Mixed Quantified Constraints over a Domain Based on Real Numbers
and Herbrand Terms},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {103--118},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_6},
doi = {10.1007/3-540-45788-7\_6},
timestamp = {Sun, 02 Jun 2019 21:12:36 +0200},
biburl = {https://dblp.org/rec/conf/flops/Garcia-DiazN02.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/LeachN01,
author = {Javier Leach and
Susana Nieva},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Higher-Order Logic Programming Language with Constraints},
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 = {108--122},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_7},
doi = {10.1007/3-540-44716-4\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/LeachN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/LeachN00,
author = {Javier Leach and
Susana Nieva},
editor = {Mar{\'{\i}}a Alpuente},
title = {A Higher-Order Programming Language with Constraints},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {440--454},
year = {2000},
timestamp = {Tue, 30 Nov 2004 09:20:36 +0100},
biburl = {https://dblp.org/rec/conf/wflp/LeachN00.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 = {Fri, 10 Jul 2015 12:20:33 +0200},
biburl = {https://dblp.org/rec/conf/slp/LeachNR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/GavilanesLMN96,
author = {Antonio Gavilanes and
Javier Leach and
Pedro J. Mart{\'{\i}}n and
Susana Nieva},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {365--379},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_69},
doi = {10.1007/3-540-61732-9\_69},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/GavilanesLMN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/GavilanesLN96,
author = {Antonio Gavilanes and
Javier Leach and
Susana Nieva},
editor = {Martin Wirsing and
Maurice Nivat},
title = {Free Variable Tableaux for a Many Sorted Logic with Preorders},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {102--116},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014310},
doi = {10.1007/BFB0014310},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/GavilanesLN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/LeachN93,
author = {Javier Leach and
Susana Nieva},
title = {Foundations of a theorem prover for functional and mathematical uses},
journal = {J. Appl. Non Class. Logics},
volume = {3},
number = {1},
pages = {7--38},
year = {1993},
url = {https://doi.org/10.1080/11663081.1993.10510794},
doi = {10.1080/11663081.1993.10510794},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/LeachN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LeachN92,
author = {Javier Leach and
Susana Nieva},
editor = {Andrei Voronkov},
title = {{MIZ-PR:} {A} Theorem Prover for Polymorphic and Recursive Functions},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {481--483},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013094},
doi = {10.1007/BFB0013094},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LeachN92.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.
last updated on 2024-08-05 21:13 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:
