%0 Conference Paper %1 conf/mbmv/KupferschmidB11 %A Kupferschmid, Stefan %A Becker, Bernd %B MBMV %D 2011 %E Oppenheimer, Frank %I OFFIS-Institut für Informatik %K dblp %P 279-288 %T Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2011.html#KupferschmidB11

@inproceedings{conf/mbmv/KupferschmidB11, added-at = {2012-06-27T00:00:00.000+0200}, author = {Kupferschmid, Stefan and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2eff0710a87769c7b201cb58f3549c0bd/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2011}, editor = {Oppenheimer, Frank}, interhash = {d399ce735d93623f31a13164ce505699}, intrahash = {eff0710a87769c7b201cb58f3549c0bd}, keywords = {dblp}, pages = {279-288}, publisher = {OFFIS-Institut für Informatik}, timestamp = {2016-02-02T14:12:45.000+0100}, title = {Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2011.html#KupferschmidB11}, year = 2011 }