BibTeX record journals/corr/abs-2309-07259

• > Home > journals/corr/abs-2309-07259

@inproceedings{DBLP:journals/corr/abs-2309-07259,
  author       = {Maximiliano Klemen and
                  Miguel {\'{A}}. Carreira{-}Perpi{\~{n}}{\'{a}}n and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
  editor       = {Enrico Pontelli and
                  Stefania Costantini and
                  Carmine Dodaro and
                  Sarah Alice Gaggl and
                  Roberta Calegari and
                  Artur S. d'Avila Garcez and
                  Francesco Fabiano and
                  Alessandra Mileo and
                  Alessandra Russo and
                  Francesca Toni},
  title        = {Solving Recurrence Relations using Machine Learning, with Application
                  to Cost Analysis},
  booktitle    = {Proceedings 39th International Conference on Logic Programming, {ICLP}
                  2023, Imperial College London, UK, 9th July 2023 - 15th July 2023},
  series       = {{EPTCS}},
  volume       = {385},
  pages        = {155--168},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.385.16},
  doi          = {10.4204/EPTCS.385.16},
  timestamp    = {Tue, 07 May 2024 20:17:18 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-07259.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}