Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

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

Action:

login to update

Options:








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:




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

Show details for Attachment SectionAttachment Section