Author Search Results

to main content

to side bar (if existing)

to footer with external links

The university library will be closed from December 20, 2025 to January 11, 2026. From January 12, 2026, regular opening hours will apply again. Exception: The main medical library and the central library will be open again from January 5, 2026. Further information

Authority Data (Source GND / Entity Facts )

Peter Schneider-Kamp

born 1978 in Geldern
Informatiker

Name variants
Jan Peter Schneider-Kamp
Peter Schneider-Kamp

Additional links

Gemeinsame Normdatei (GND) im Katalog der Deutschen Nationalbibliothek

Deutsche Digitale Bibliothek

Virtual International Authority File (VIAF)

International Standard Name Identifier (ISNI)

1

Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming

Schneider-Kamp, Peter (Verfasser)

New York, NY : ACM, 2011

eBook

2

Static termination analysis for prolog using term rewriting and SAT solving

Schneider-Kamp, Peter

Aachen : RWTH, Fachgruppe Informatik, 2008

eBook

3

Static termination analysis for Prolog using term rewriting and SAT solving

Schneider-Kamp, Peter

Aachen : RWTH Aachen, 2008

eBook

4

Proving and disproving termination of higher-order functions

Giesl, Jürgen

Aachen : RWTH, 2005

eBook

5

Automatically proving termination and memory safety for programs with pointer arithmetic

Ströder, Thomas (Verfasser)

Aachen : RWTH Aachen, 2016

eBook