%0 Conference Paper %1 conf/icalp/Dowek17 %A Dowek, Gilles %B ICALP %D 2017 %E Chatzigiannakis, Ioannis %E Indyk, Piotr %E Kuhn, Fabian %E Muscholl, Anca %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 109:1-109:14 %T Models and Termination of Proof Reduction in the lambda Pi-Calculus Modulo Theory. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2017.html#Dowek17 %V 80 %@ 978-3-95977-041-5

@inproceedings{conf/icalp/Dowek17, added-at = {2018-11-30T00:00:00.000+0100}, author = {Dowek, Gilles}, biburl = {https://www.bibsonomy.org/bibtex/2d1bf67fae2e12721c2376ec1a5221edb/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2017}, editor = {Chatzigiannakis, Ioannis and Indyk, Piotr and Kuhn, Fabian and Muscholl, Anca}, ee = {https://doi.org/10.4230/LIPIcs.ICALP.2017.109}, interhash = {8697678541841352482bcb7e29dd50b4}, intrahash = {d1bf67fae2e12721c2376ec1a5221edb}, isbn = {978-3-95977-041-5}, keywords = {dblp}, pages = {109:1-109:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:45:13.000+0100}, title = {Models and Termination of Proof Reduction in the lambda Pi-Calculus Modulo Theory.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2017.html#Dowek17}, volume = 80, year = 2017 }