%0 Conference Paper %1 conf/esop/GuoK24 %A Guo, Liye %A Kop, Cynthia %B ESOP (2) %D 2024 %E Weirich, Stephanie %I Springer %K dblp %P 331-357 %T Higher-Order LCTRSs and Their Termination. %U http://dblp.uni-trier.de/db/conf/esop/esop2024-2.html#GuoK24 %V 14577 %@ 978-3-031-57267-8

@inproceedings{conf/esop/GuoK24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Guo, Liye and Kop, Cynthia}, biburl = {https://www.bibsonomy.org/bibtex/264496bb5fd67db5824b4ec1274aa02f5/dblp}, booktitle = {ESOP (2)}, crossref = {conf/esop/2024-2}, editor = {Weirich, Stephanie}, ee = {https://doi.org/10.1007/978-3-031-57267-8_13}, interhash = {4feba88193fb423a0a8ab90ffb079b22}, intrahash = {64496bb5fd67db5824b4ec1274aa02f5}, isbn = {978-3-031-57267-8}, keywords = {dblp}, pages = {331-357}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:03:27.000+0200}, title = {Higher-Order LCTRSs and Their Termination.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2024-2.html#GuoK24}, volume = 14577, year = 2024 }