Home Advanced Search

Advanced Search - Page 1

Advances in proof-theoretic semantics

PDF
English
Year: 2016
Author: Piecha, Thomas;Schroeder-Heister, Peter Joseph

Advances in Proof-Theoretic Semantics

PDF
English
Year: 2015
Author: Thomas Piecha, Peter Schroeder-Heister

Substructural Logics

DJVU
English
Year: 1994
Author: Kosta Došen, Peter Schroeder-Heister

Substructural Logics (Studies in Logic and Computation)

DJVU
English
Year: 1994
Author: Kosta Došen, Peter Schroeder-Heister

Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

DJVU
English
Year: 1991
Author: Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.)

Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

DJVU
English
Year: 1991
Author: Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.)

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

DJVU
English
Year: 1996
Author: Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

PDF
English
Year: 2001
Author: Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

PDF
English
Year: 2001
Author: Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Finanzierung von Social Entrepreneurship durch Venture Philanthropy und Social Venture Capital: Auswahlprozess und -kriterien der Finanzintermediäre

PDF
German
Year: 2010
Author: Peter Heister (auth.)