%0 Conference Paper %1 conf/birthday/AguirreMPP23 %A Aguirre, Luis %A Martí-Oliet, Narciso %A Palomino, Miguel %A Pita, Isabel %B Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems %D 2023 %E López-García, Pedro %E Gallagher, John P. %E Giacobazzi, Roberto %I Springer %K dblp %P 1-20 %T Strategies in Conditional Narrowing Modulo SMT Plus Axioms. %U http://dblp.uni-trier.de/db/conf/birthday/hermenegildo2023.html#AguirreMPP23 %V 13160 %@ 978-3-031-31476-6

@inproceedings{conf/birthday/AguirreMPP23, added-at = {2023-06-06T00:00:00.000+0200}, author = {Aguirre, Luis and Martí-Oliet, Narciso and Palomino, Miguel and Pita, Isabel}, biburl = {https://www.bibsonomy.org/bibtex/2522d7c1eb0b1eac72866abce1750d422/dblp}, booktitle = {Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems}, crossref = {conf/birthday/2023hermenegildo}, editor = {López-García, Pedro and Gallagher, John P. and Giacobazzi, Roberto}, ee = {https://doi.org/10.1007/978-3-031-31476-6_1}, interhash = {8e3df95b3adb47b54987d7fe7dc3bc55}, intrahash = {522d7c1eb0b1eac72866abce1750d422}, isbn = {978-3-031-31476-6}, keywords = {dblp}, pages = {1-20}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:55.000+0200}, title = {Strategies in Conditional Narrowing Modulo SMT Plus Axioms.}, url = {http://dblp.uni-trier.de/db/conf/birthday/hermenegildo2023.html#AguirreMPP23}, volume = 13160, year = 2023 }