Peter Schroeder-Heister
AuthID: R-00F-STR
1
TITLE: Discovery of 2,4-dimethoxypyridines as novel autophagy inhibitors Full Text
AUTHORS: Lucas Robke; Tiago Rodrigues; Peter Schroeder; Daniel J Foley; Goncalo J L Bernardes; Luca Laraia; Herbert Waldmann;
PUBLISHED: 2018, SOURCE: TETRAHEDRON, VOLUME: 74, ISSUE: 35
AUTHORS: Lucas Robke; Tiago Rodrigues; Peter Schroeder; Daniel J Foley; Goncalo J L Bernardes; Luca Laraia; Herbert Waldmann;
PUBLISHED: 2018, SOURCE: TETRAHEDRON, VOLUME: 74, ISSUE: 35
INDEXED IN: Scopus WOS
2
TITLE: Introduction: Proof-theoretic semantics Full Text
AUTHORS: Reinhard Kahle ; Schroeder Heister, P;
PUBLISHED: 2006, SOURCE: SYNTHESE, VOLUME: 148, ISSUE: 3
AUTHORS: Reinhard Kahle ; Schroeder Heister, P;
PUBLISHED: 2006, SOURCE: SYNTHESE, VOLUME: 148, ISSUE: 3
3
TITLE: Proof Theory in Computer Science
AUTHORS: Reinhard Kahle ; Peter Schroeder-Heister; Robert Stärk;
PUBLISHED: 2001, SOURCE: Lecture Notes in Computer Science
AUTHORS: Reinhard Kahle ; Peter Schroeder-Heister; Robert Stärk;
PUBLISHED: 2001, SOURCE: Lecture Notes in Computer Science
4
TITLE: Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
AUTHORS: Reinhard Kahle ; Peter Schroeder Heister; Robert F Stärk;
PUBLISHED: 2001, SOURCE: PTCS, VOLUME: 2183
AUTHORS: Reinhard Kahle ; Peter Schroeder Heister; Robert F Stärk;
PUBLISHED: 2001, SOURCE: PTCS, VOLUME: 2183
INDEXED IN: DBLP
5
TITLE: Proof Theory in Computer Science. International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)
AUTHORS: Reinhard Kahle; Peter Schroeder Heister;
PUBLISHED: 2001
AUTHORS: Reinhard Kahle; Peter Schroeder Heister;
PUBLISHED: 2001
INDEXED IN: Openlibrary