| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Gerhard Gröger Gerhard Gröger, Lutz Plümer : Exploiting 2D concepts to achieve consistency in 3D GIS applications. GIS 2003 : 78-85 Ingo Petzold , Gerhard Gröger, Lutz Plümer : Network Planning using Geomorphology. ACM-GIS 2001 : 167-172 Gerhard Gröger, Lutz Plümer : Provably Correct and Complete Transaction Rules for GIS. ACM-GIS 1997 : 40-43 Lutz Plümer , Gerhard Gröger: Achieving Integrity in Geographic Information Systems Maps and Nested Maps. GeoInformatica 1 (4): 345-367 (1997) Lutz Plümer , Gerhard Gröger: Nested Maps - A Formal, Provably Correct Object Model for Spatial Aggregates. ACM-GIS 1996 : 76-83 Gerhard Gröger: Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme. WLP 1993 : 36-41 Gerhard Gröger, Lutz Plümer : Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs. JICSLP 1992 : 336-350 1 [ 6 ] 2 [ 1 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ]  ©2004 Association for Computing Machinery |
