Proof Orders for Decreasing Diagrams. Felgenhauer, B. & van Oostrom, V. In RTA, volume 21, of LIPIcs, pages 174-189, 2013. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Link
Paper bibtex @inproceedings{conf/rta/FelgenhauerO13,
added-at = {2019-09-16T00:00:00.000+0200},
author = {Felgenhauer, Bertram and van Oostrom, Vincent},
biburl = {https://www.bibsonomy.org/bibtex/2085ee63f59c0e62995ea6a039f33b314/dblp},
booktitle = {RTA},
crossref = {conf/rta/2013},
editor = {van Raamsdonk, Femke},
ee = {https://doi.org/10.4230/LIPIcs.RTA.2013.174},
interhash = {50acf9720e536c5a04fe223ecbd45be0},
intrahash = {085ee63f59c0e62995ea6a039f33b314},
isbn = {978-3-939897-53-8},
keywords = {dblp},
pages = {174-189},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
series = {LIPIcs},
timestamp = {2020-02-12T11:50:00.000+0100},
title = {Proof Orders for Decreasing Diagrams.},
url = {http://dblp.uni-trier.de/db/conf/rta/rta2013.html#FelgenhauerO13},
volume = 21,
year = 2013
}
Downloads: 0
{"_id":"Rrxm9RRRBEqBqc4u6","bibbaseid":"felgenhauer-vanoostrom-proofordersfordecreasingdiagrams-2013","authorIDs":[],"author_short":["Felgenhauer, B.","van Oostrom, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-09-16T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Felgenhauer"],"firstnames":["Bertram"],"suffixes":[]},{"propositions":["van"],"lastnames":["Oostrom"],"firstnames":["Vincent"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2085ee63f59c0e62995ea6a039f33b314/dblp","booktitle":"RTA","crossref":"conf/rta/2013","editor":[{"propositions":["van"],"lastnames":["Raamsdonk"],"firstnames":["Femke"],"suffixes":[]}],"ee":"https://doi.org/10.4230/LIPIcs.RTA.2013.174","interhash":"50acf9720e536c5a04fe223ecbd45be0","intrahash":"085ee63f59c0e62995ea6a039f33b314","isbn":"978-3-939897-53-8","keywords":"dblp","pages":"174-189","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","series":"LIPIcs","timestamp":"2020-02-12T11:50:00.000+0100","title":"Proof Orders for Decreasing Diagrams.","url":"http://dblp.uni-trier.de/db/conf/rta/rta2013.html#FelgenhauerO13","volume":"21","year":"2013","bibtex":"@inproceedings{conf/rta/FelgenhauerO13,\n added-at = {2019-09-16T00:00:00.000+0200},\n author = {Felgenhauer, Bertram and van Oostrom, Vincent},\n biburl = {https://www.bibsonomy.org/bibtex/2085ee63f59c0e62995ea6a039f33b314/dblp},\n booktitle = {RTA},\n crossref = {conf/rta/2013},\n editor = {van Raamsdonk, Femke},\n ee = {https://doi.org/10.4230/LIPIcs.RTA.2013.174},\n interhash = {50acf9720e536c5a04fe223ecbd45be0},\n intrahash = {085ee63f59c0e62995ea6a039f33b314},\n isbn = {978-3-939897-53-8},\n keywords = {dblp},\n pages = {174-189},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},\n series = {LIPIcs},\n timestamp = {2020-02-12T11:50:00.000+0100},\n title = {Proof Orders for Decreasing Diagrams.},\n url = {http://dblp.uni-trier.de/db/conf/rta/rta2013.html#FelgenhauerO13},\n volume = 21,\n year = 2013\n}\n\n","author_short":["Felgenhauer, B.","van Oostrom, V."],"editor_short":["van Raamsdonk, F."],"key":"conf/rta/FelgenhauerO13","id":"conf/rta/FelgenhauerO13","bibbaseid":"felgenhauer-vanoostrom-proofordersfordecreasingdiagrams-2013","role":"author","urls":{"Link":"https://doi.org/10.4230/LIPIcs.RTA.2013.174","Paper":"http://dblp.uni-trier.de/db/conf/rta/rta2013.html#FelgenhauerO13"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Bertram?items=1000","creationDate":"2020-08-03T18:34:52.630Z","downloads":0,"keywords":["dblp"],"search_terms":["proof","orders","decreasing","diagrams","felgenhauer","van oostrom"],"title":"Proof Orders for Decreasing Diagrams.","year":2013,"dataSources":["fYGRSD8HXJYwZPaY7"]}