Hannes Diener und Ulrich Berger - Info zur Person

(1 - 8 von 23

)

Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger...

philpapers.org

Laura Crosilla & Andrea Cantini In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction ...

Computer Science Logic: 24th International Workshop, CSL 2010, 19th...

books.google.de

... namely, Peter O'Hearn (London), Jan Krajicek (Prague), Andrei Krokhin (Durham), ... Stefano Berardi, Ulrich Berger, Hannes Diener, Monika Seisenberger, ...

ontos mathematical logic - De Gruyterwww.degruyter.com › document › doi › pdf

www.degruyter.com

Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger (Eds.) ... [11] D.S. Bridges and F. Richman: Varieties of Constructive Mathematics, London.

A nonstandard hierarchy comparison theorem for the slow and fast ...lib.ugent.be › catalog › pug01:

lib.ugent.be

Wilfried Buchholz, Andreas Weiermann, Ulrich Berger, Hannes Diener, Peter Schuster and 1 more Published in in Frankfurt Germany by Ontos.

Program Extraction and Constructive Proofswww.cs.swan.ac.uk › ~csmona › pecp

www.cs.swan.ac.uk

... and the Kurt Gödel Society (KGS). SchwichtenbergWorkshop. Programme Committee: Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger.

Logical Methods in Computer Science - Special Festschrift Issue in...

lmcs.episciences.org

All papers were refereed according to the usual standards of Logical Methods in Computer Science. Ulrich Berger, Hannes Diener, Norbert Müller CCC Guest ...

PRL Project - Publications - Nuprlwww.nuprl.org › showBib

www.nuprl.org

... note = {Festschrift for Helmut Schwichtenberg}, crossref = {berger2012logic}, publisher = {Ontos Verlag}, howpublished = {Ulrich Berger, Hannes Diener, Peter ...

FOSSACS Logical Methods in Computer Sciencelmcs.episciences.org › public

lmcs.episciences.org

Editors: Arnold Beckmann, Anuj Dawar. Festschrift Issue in Honor of Dieter Spreen. Editors: Ulrich Berger, Hannes Diener, Norbert Müller.

Alle Infos zum Namen "Hannes Diener"

Verwandte Suchanfragen zu Hannes Diener

Ulrich Berger
Robert Lubarsky
Dieter Spreen

Vasco Brattka
Peter Schuster
Thomas Streicher

Marcel Lacroze
Eleni Mavridou
Corinna Lang Schwarz

Person "Diener" (6)
Vorname "Hannes" (9188)
Name "Diener" (1295)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Hannes Diener und Ulrich Berger Person-Info