@phdthesis{DBLP:phd/es/Aguas18,
  author       = {Javier Segovia{-}Aguas},
  title        = {Program synthesis for generalized planning},
  school       = {Pompeu Fabra University, Spain},
  year         = {2018},
  url          = {http://hdl.handle.net/10803/663753},
  timestamp    = {Wed, 25 Jun 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/es/Aguas18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"SEB5WLMtpfAfXrsGZ","bibbaseid":"segoviaaguas-programsynthesisforgeneralizedplanning-2018","authorIDs":["4DtQT7tFz6pLwiLbp","5d2f21fb733192da010000c8","5d38502825c85eda01000008","5de8ba303cfb74df01000161","5e0d9f67675bf1de01000076","5e0f1baa96e707df01000019","5e25cb79f299d4de01000180","5e3925a97f8bf3f3010000e4","5e5ce517d12a0ade0100002b","5e648c35e89ef4df010000a0","Dd6hHHCevs3QQRaEt","FTNon9AQoictcZDHJ","iHR8n37fSReKFExP4"],"author_short":["Segovia-Aguas, J."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["Javier"],"propositions":[],"lastnames":["Segovia-Aguas"],"suffixes":[]}],"title":"Program synthesis for generalized planning","school":"Pompeu Fabra University, Spain","year":"2018","url":"http://hdl.handle.net/10803/663753","timestamp":"Wed, 25 Jun 2025 01:00:00 +0200","biburl":"https://dblp.org/rec/phd/es/Aguas18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@phdthesis{DBLP:phd/es/Aguas18,\n author = {Javier Segovia{-}Aguas},\n title = {Program synthesis for generalized planning},\n school = {Pompeu Fabra University, Spain},\n year = {2018},\n url = {http://hdl.handle.net/10803/663753},\n timestamp = {Wed, 25 Jun 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/phd/es/Aguas18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Segovia-Aguas, J."],"key":"DBLP:phd/es/Aguas18","id":"DBLP:phd/es/Aguas18","bibbaseid":"segoviaaguas-programsynthesisforgeneralizedplanning-2018","role":"author","urls":{"Paper":"http://hdl.handle.net/10803/663753"},"metadata":{"authorlinks":{"segovia-aguas, j":"https://bibbase.org/service/mendeley/de5765e4-e253-3166-8178-333c824974ba"}},"downloads":8},"bibtype":"phdthesis","creationDate":"2019-07-17T13:26:19.828Z","downloads":8,"keywords":[],"search_terms":["program","synthesis","generalized","planning","segovia-aguas"],"title":"Program synthesis for generalized planning","year":2018,"biburl":"https://dblp.org/pid/180/9171.bib","dataSources":["fwEjazZvTYA4Zivbd","ya2CyA73rpZseyrZ8","nszy5CLPbPRiN3a6E","2252seNhipfTmjEBQ"]}