%0 Conference Paper %1 conf/rta/Bahr10a %A Bahr, Patrick %B RTA %D 2010 %E Lynch, Christopher %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 67-84 %T Partial Order Infinitary Term Rewriting and Böhm Trees. %U http://dblp.uni-trier.de/db/conf/rta/rta2010.html#Bahr10a %V 6 %@ 978-3-939897-18-7

@inproceedings{conf/rta/Bahr10a, added-at = {2018-08-23T00:00:00.000+0200}, author = {Bahr, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/266ccdaa15c162bf1d45fa8a6423596bc/dblp}, booktitle = {RTA}, crossref = {conf/rta/2010}, editor = {Lynch, Christopher}, ee = {https://doi.org/10.4230/LIPIcs.RTA.2010.67}, interhash = {63695c1b763a4eb8b50344e443e5c934}, intrahash = {66ccdaa15c162bf1d45fa8a6423596bc}, isbn = {978-3-939897-18-7}, keywords = {dblp}, pages = {67-84}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:48:02.000+0200}, title = {Partial Order Infinitary Term Rewriting and Böhm Trees.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2010.html#Bahr10a}, volume = 6, year = 2010 }