Hannes Diener und Peter Schuster - Info zur Person

(1 - 6 von 18

)

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 ...

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.

DROPS - Uniqueness, Continuity, and Existence of Implicit Functions...

drops.dagstuhl.de

BibTeX - Entry @InProceedings{diener_et_al:OASIcs:2009:2265, author = {Hannes Diener and Peter Schuster}, title = {{Uniqueness, Continuity, and Existence of Implicit ...

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.

Uniqueness, Continuity, and Existence of Implicit DROPSdrops.dagstuhl.de › opus › frontdoor

drops.dagstuhl.de

@InProceedings{diener_et_al:OASIcs:2009:2265, author = {Hannes Diener and Peter Schuster}, title = {{Uniqueness, Continuity, and Existence of Implicit ...