MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Mehlhorn, Kurt
Näher, Stefan
Schilz, Thomas
Schirra, Stefan
Seel, Michael
Seidel, Raimund
Uhrig, Christian
dblp
dblp
dblp
dblp
dblp
dblp
dblp
Editor(s):
BibTeX cite key*:
Mehlhorn-et-al-1-96
Title, Booktitle
Title*:
Checking Geometric Programs or Verification of Geometric Structures
Booktitle*:
12th Annual ACM Symposium on Computational Geometry (SCG 96)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Philadelphia, PA, USA
Language:
English
Event Date*
(no longer used):
May, 24-26
Organization:
Event Start Date:
24 May 1996
Event End Date:
26 May 1996
Publisher
Name*:
ACM
URL:
Address*:
New York
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
159-165
Year*:
1996
VG Wort Pages:
ISBN/ISSN:
0-89791-832-0
Sequence Number:
DOI:
Note, Abstract, ©
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Algorithms and Complexity Group
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:

@INPROCEEDINGS{Mehlhorn-et-al-1-96,
AUTHOR = {Mehlhorn, Kurt and N{\"a}her, Stefan and Schilz, Thomas and Schirra, Stefan and Seel, Michael and Seidel, Raimund and Uhrig, Christian},
TITLE = {Checking Geometric Programs or Verification of Geometric Structures},
BOOKTITLE = {12th Annual ACM Symposium on Computational Geometry (SCG 96)},
PUBLISHER = {ACM},
YEAR = {1996},
PAGES = {159--165},
ADDRESS = {Philadelphia, PA, USA},
ISBN = {0-89791-832-0},
}


Entry last modified by Christine Kiesel, 03/02/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Evelyn Haak
Created
01/30/1997 04:09:25 PM
Revisions
8.
7.
6.
5.
4.
Editor(s)
Christine Kiesel
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm
Edit Dates
23.08.2006 14:49:00
02.08.2005 16:30:48
26.03.97 21:18:06
26.03.97 21:17:31
20/03/97 16:55:48