%0 Conference Paper %1 conf/cie/GohPV24 %A Goh, Jun Le %A Pauly, Arno %A Valenti, Manlio %B CiE %D 2024 %E Patey, Ludovic Levy %E Pimentel, Elaine %E Galeotti, Lorenzo %E Manea, Florin %I Springer %K dblp %P 339-350 %T The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders. %U http://dblp.uni-trier.de/db/conf/cie/cie2024.html#GohPV24 %V 14773 %@ 978-3-031-64309-5

@inproceedings{conf/cie/GohPV24, added-at = {2024-07-20T00:00:00.000+0200}, author = {Goh, Jun Le and Pauly, Arno and Valenti, Manlio}, biburl = {https://www.bibsonomy.org/bibtex/24cab083acdb06ebea54e378044af4398/dblp}, booktitle = {CiE}, crossref = {conf/cie/2024}, editor = {Patey, Ludovic Levy and Pimentel, Elaine and Galeotti, Lorenzo and Manea, Florin}, ee = {https://doi.org/10.1007/978-3-031-64309-5_27}, interhash = {f1e287cc7f28e5dd380fb09aebe72ef8}, intrahash = {4cab083acdb06ebea54e378044af4398}, isbn = {978-3-031-64309-5}, keywords = {dblp}, pages = {339-350}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-07-22T07:20:30.000+0200}, title = {The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders.}, url = {http://dblp.uni-trier.de/db/conf/cie/cie2024.html#GohPV24}, volume = 14773, year = 2024 }