%0 Conference Paper %1 conf/inap/EiterFKR13 %A Eiter, Thomas %A Fink, Michael %A Krennwallner, Thomas %A Redl, Christoph %B KDPD %D 2013 %E Hanus, Michael %E Rocha, Ricardo %I Springer %K dblp %P 99-117 %T hex-Programs with Existential Quantification. %U http://dblp.uni-trier.de/db/conf/inap/kdpd2013.html#EiterFKR13 %V 8439 %@ 978-3-319-08908-9

@inproceedings{conf/inap/EiterFKR13, added-at = {2017-11-16T00:00:00.000+0100}, author = {Eiter, Thomas and Fink, Michael and Krennwallner, Thomas and Redl, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/275cb055e1bb275f800e7e95b57b24ef7/dblp}, booktitle = {KDPD}, crossref = {conf/inap/2013}, editor = {Hanus, Michael and Rocha, Ricardo}, ee = {https://doi.org/10.1007/978-3-319-08909-6_7}, interhash = {acde94e75815590194575a0470acae3c}, intrahash = {75cb055e1bb275f800e7e95b57b24ef7}, isbn = {978-3-319-08908-9}, keywords = {dblp}, pages = {99-117}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:11:27.000+0200}, title = {hex-Programs with Existential Quantification.}, url = {http://dblp.uni-trier.de/db/conf/inap/kdpd2013.html#EiterFKR13}, volume = 8439, year = 2013 }