%0 Conference Paper %1 conf/ki/AutexierMS98 %A Autexier, Serge %A Mantel, Heiko %A Stephan, Werner %B KI %D 1998 %E Herzog, Otthein %E Günter, Andreas %I Springer %K dblp %P 141-152 %T Simultaneous Quantifier Elimination. %U http://dblp.uni-trier.de/db/conf/ki/ki98.html#AutexierMS98 %V 1504 %@ 3-540-65080-6

@inproceedings{conf/ki/AutexierMS98, added-at = {2022-04-09T00:00:00.000+0200}, author = {Autexier, Serge and Mantel, Heiko and Stephan, Werner}, biburl = {https://www.bibsonomy.org/bibtex/2dfcee6b6669a82dcd5bdc44f8c87b94b/dblp}, booktitle = {KI}, crossref = {conf/ki/1998}, editor = {Herzog, Otthein and Günter, Andreas}, ee = {https://doi.org/10.1007/BFb0095435}, interhash = {6324f3951f8ef96f864d764a45860181}, intrahash = {dfcee6b6669a82dcd5bdc44f8c87b94b}, isbn = {3-540-65080-6}, keywords = {dblp}, pages = {141-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T21:46:19.000+0200}, title = {Simultaneous Quantifier Elimination.}, url = {http://dblp.uni-trier.de/db/conf/ki/ki98.html#AutexierMS98}, volume = 1504, year = 1998 }