Skip to content

Gregor Meyer

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

1999–1999

Best venue rank

National

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
1999FLOPSUsing Types as Approximations for Type Checking Prolog Programs.Christoph Beierle, Gregor Meyer