%0 Conference Paper %1 conf/alp/OlveszkyL96 %A Ölveczky, Peter Csaba %A Lysne, Olav %B ALP %D 1996 %E Hanus, Michael %E Rodríguez-Artalejo, Mario %I Springer %K dblp %P 92-106 %T Order-Sorted Termination: The Unsorted Way. %U http://dblp.uni-trier.de/db/conf/alp/alp96.html#OlveszkyL96 %V 1139 %@ 3-540-61735-3

@inproceedings{conf/alp/OlveszkyL96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Ölveczky, Peter Csaba and Lysne, Olav}, biburl = {https://www.bibsonomy.org/bibtex/223d6c9826adb40c7530daaa1986a8906/dblp}, booktitle = {ALP}, crossref = {conf/alp/1996}, editor = {Hanus, Michael and Rodríguez-Artalejo, Mario}, ee = {https://doi.org/10.1007/3-540-61735-3_6}, interhash = {8d076ee1ee3ce9de4ea51a2f592f1cbf}, intrahash = {23d6c9826adb40c7530daaa1986a8906}, isbn = {3-540-61735-3}, keywords = {dblp}, pages = {92-106}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T11:37:25.000+0200}, title = {Order-Sorted Termination: The Unsorted Way.}, url = {http://dblp.uni-trier.de/db/conf/alp/alp96.html#OlveszkyL96}, volume = 1139, year = 1996 }