%0 Conference Paper %1 conf/csl/Kovacs17 %A Kovács, Laura %B CSL %D 2017 %E Goranko, Valentin %E Dam, Mads %I Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik %K dblp %P 3:1-3:1 %T First-Order Interpolation and Grey Areas of Proofs (Invited Talk). %U http://dblp.uni-trier.de/db/conf/csl/csl2017.html#Kovacs17 %V 82 %@ 978-3-95977-045-3

@inproceedings{conf/csl/Kovacs17, added-at = {2018-08-23T00:00:00.000+0200}, author = {Kovács, Laura}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c0f95f1bf1191dfebbde24c1e4eeeeb6/dblp}, booktitle = {CSL}, crossref = {conf/csl/2017}, editor = {Goranko, Valentin and Dam, Mads}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2017.3}, interhash = {e758c579505407c52f6432f04625de62}, intrahash = {c0f95f1bf1191dfebbde24c1e4eeeeb6}, isbn = {978-3-95977-045-3}, keywords = {dblp}, pages = {3:1-3:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, timestamp = {2019-09-27T17:59:37.000+0200}, title = {First-Order Interpolation and Grey Areas of Proofs (Invited Talk).}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2017.html#Kovacs17}, volume = 82, year = 2017 }