%0 Conference Paper %1 conf/asian/KamareddineM99 %A Kamareddine, Fairouz %A Monin, François %B ASIAN %D 1999 %E Thiagarajan, P. S. %E Yap, Roland H. C. %I Springer %K dblp %P 177-189 %T On Automating Inductive and Non-inductive Termination Methods. %U http://dblp.uni-trier.de/db/conf/asian/asian99.html#KamareddineM99 %V 1742 %@ 3-540-66856-X

@inproceedings{conf/asian/KamareddineM99, added-at = {2017-05-24T00:00:00.000+0200}, author = {Kamareddine, Fairouz and Monin, François}, biburl = {https://www.bibsonomy.org/bibtex/2c1ac82edd3ab2d9eee0fc2b2264a71a2/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/1999}, editor = {Thiagarajan, P. S. and Yap, Roland H. C.}, ee = {https://doi.org/10.1007/3-540-46674-6_16}, interhash = {ae7d89b0682d47fd0e3b0416d8e81455}, intrahash = {c1ac82edd3ab2d9eee0fc2b2264a71a2}, isbn = {3-540-66856-X}, keywords = {dblp}, pages = {177-189}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:18:47.000+0200}, title = {On Automating Inductive and Non-inductive Termination Methods.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian99.html#KamareddineM99}, volume = 1742, year = 1999 }