MPI-INF D1 Publications: Proceedings Article: Checking Geometric Programs or Verification of Geometric Structures

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Show entries of:

this year (2013) | last year (2012) | two years ago (2011) | Notes URL

Action:

Options:

Goto entry point

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

URL of the conference:
URL for downloading the paper:
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:





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

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

Attachment Section