Home Advanced Search

Advanced Search - Page 1

Gentzen's Centenary, The Quest for Consistency

PDF
English
Year: 2015
Author: Reinhard Kahle, Michael Rathjen (eds.)

The Legacy of Kurt Schütte

PDF
English
Year: 2020
Author: Reinhard Kahle, Michael Rathjen

Intensionality: Lecture Notes in Logic 22

PDF
English
Year: 2005
Author: Reinhard Kahle

Advances in Proof Theory

PDF
English
Year: 2016
Author: Reinhard Kahle, Thomas Strahm, Thomas Studer (eds.)

Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

PDF
English
Year: 2009
Author: Mikołaj Bojańczyk (auth.), Erich Grädel, Reinhard Kahle (eds.)

Betriebswirtschaftslehre und Managementlehre: Selbstverständnis — Herausforderungen — Konsequenzen

PDF
German
Year: 1997
Author: Prof. Dr. Reinhard Pfriem (auth.), Professor Dr. Egbert Kahle (eds.)

Kernfragen der Unternehmensbesteuerung: Symposium für Ulrich Schreiber zum 65. Geburtstag

PDF
German
Year: 2017
Author: Holger Kahle, Michael Overesch, Martin Ruf, Christoph Spengel (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.)

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

PDF
English
Year: 2012
Author: Bahareh Afshari, Michael Rathjen (auth.), S. Barry Cooper, Anuj Dawar, Benedikt Löwe (eds.)