%0 Conference Paper %1 conf/itp/StumpSW10 %A Stump, Aaron %A Sjöberg, Vilhelm %A Weirich, Stephanie %B PAR@ITP %D 2010 %E Komendantskaya, Ekaterina %E Bove, Ana %E Niqui, Milad %I EasyChair %K dblp %P 84-100 %T Termination Casts: A Flexible Approach to Termination with General Recursion. %U http://dblp.uni-trier.de/db/conf/itp/par2010.html#StumpSW10 %V 5

@inproceedings{conf/itp/StumpSW10, added-at = {2021-08-15T00:00:00.000+0200}, author = {Stump, Aaron and Sjöberg, Vilhelm and Weirich, Stephanie}, biburl = {https://www.bibsonomy.org/bibtex/2a53caa5657e8234e5163bbbeee92dd54/dblp}, booktitle = {PAR@ITP}, crossref = {conf/itp/2010par}, editor = {Komendantskaya, Ekaterina and Bove, Ana and Niqui, Milad}, ee = {https://doi.org/10.29007/3w36}, interhash = {e652b2d375e90799de72012a952e2380}, intrahash = {a53caa5657e8234e5163bbbeee92dd54}, keywords = {dblp}, pages = {84-100}, publisher = {EasyChair}, series = {EPiC Series}, timestamp = {2024-04-09T22:14:41.000+0200}, title = {Termination Casts: A Flexible Approach to Termination with General Recursion.}, url = {http://dblp.uni-trier.de/db/conf/itp/par2010.html#StumpSW10}, volume = 5, year = 2010 }