%0 Conference Paper %1 conf/rta/HofbauerL89 %A Hofbauer, Dieter %A Lautemann, Clemens %B RTA %D 1989 %E Dershowitz, Nachum %I Springer %K dblp %P 167-177 %T Termination Proofs and the Length of Derivations (Preliminary Version). %U http://dblp.uni-trier.de/db/conf/rta/rta89.html#HofbauerL89 %V 355 %@ 3-540-51081-8

@inproceedings{conf/rta/HofbauerL89, added-at = {2017-05-19T00:00:00.000+0200}, author = {Hofbauer, Dieter and Lautemann, Clemens}, biburl = {https://www.bibsonomy.org/bibtex/224cbc700ff6b8671921b5dd674aea85d/dblp}, booktitle = {RTA}, crossref = {conf/rta/1989}, editor = {Dershowitz, Nachum}, ee = {https://doi.org/10.1007/3-540-51081-8_107}, interhash = {cccb908462569c6cc55f0ca1ee90176e}, intrahash = {24cbc700ff6b8671921b5dd674aea85d}, isbn = {3-540-51081-8}, keywords = {dblp}, pages = {167-177}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:18:37.000+0200}, title = {Termination Proofs and the Length of Derivations (Preliminary Version).}, url = {http://dblp.uni-trier.de/db/conf/rta/rta89.html#HofbauerL89}, volume = 355, year = 1989 }