%0 Conference Paper %1 conf/compgeom/MehlhornNSSSSU96 %A Mehlhorn, Kurt %A Näher, Stefan %A Schilz, Thomas %A Schirra, Stefan %A Seel, Michael %A Seidel, Raimund %A Uhrig, Christian %B Symposium on Computational Geometry %D 1996 %E Whitesides, Sue %I ACM %K %P 159-165 %T Checking Geometric Programs or Verification of Geometric Structures. %U http://dblp.uni-trier.de/db/conf/compgeom/compgeom96.html#MehlhornNSSSSU96 %@ 0-89791-804-5

@inproceedings{conf/compgeom/MehlhornNSSSSU96, added-at = {2023-12-13T05:44:40.000+0100}, author = {Mehlhorn, Kurt and Näher, Stefan and Schilz, Thomas and Schirra, Stefan and Seel, Michael and Seidel, Raimund and Uhrig, Christian}, biburl = {https://www.bibsonomy.org/bibtex/209e2477f03628b3a9898673864832f01/admin}, booktitle = {Symposium on Computational Geometry}, crossref = {conf/compgeom/1996}, editor = {Whitesides, Sue}, ee = {https://doi.org/10.1145/237218.237344}, interhash = {a61039e0d024afa477df8cf8578379d8}, intrahash = {09e2477f03628b3a9898673864832f01}, isbn = {0-89791-804-5}, keywords = {}, pages = {159-165}, publisher = {ACM}, timestamp = {2023-12-13T05:44:40.000+0100}, title = {Checking Geometric Programs or Verification of Geometric Structures.}, url = {http://dblp.uni-trier.de/db/conf/compgeom/compgeom96.html#MehlhornNSSSSU96}, year = 1996 }