%0 Conference Paper %1 conf/itp/HirokawaMS14 %A Hirokawa, Nao %A Middeldorp, Aart %A Sternagel, Christian %B ITP %D 2014 %E Klein, Gerwin %E Gamboa, Ruben %I Springer %K dblp %P 292-307 %T A New and Formalized Proof of Abstract Completion. %U http://dblp.uni-trier.de/db/conf/itp/itp2014.html#HirokawaMS14 %V 8558 %@ 978-3-319-08969-0

@inproceedings{conf/itp/HirokawaMS14, added-at = {2019-09-25T00:00:00.000+0200}, author = {Hirokawa, Nao and Middeldorp, Aart and Sternagel, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2dc26dac33fd91390e60c169966e1ad31/dblp}, booktitle = {ITP}, crossref = {conf/itp/2014}, editor = {Klein, Gerwin and Gamboa, Ruben}, ee = {https://doi.org/10.1007/978-3-319-08970-6_19}, interhash = {22acc41caaa80dea1a07838f20c9c649}, intrahash = {dc26dac33fd91390e60c169966e1ad31}, isbn = {978-3-319-08969-0}, keywords = {dblp}, pages = {292-307}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:05:19.000+0200}, title = {A New and Formalized Proof of Abstract Completion.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2014.html#HirokawaMS14}, volume = 8558, year = 2014 }