Travelled to:1 × Croatia
1 × Germany
1 × United Kingdom
Collaborated with:∅ D.S.Bridges H.Ishihara
Talks about:construct (2) elementari (1) choiceless (1) revisit (1) continu (1) compact (1) analysi (1) algebra (1) induct (1) studi (1)
Person: Peter Schuster
DBLP: Schuster:Peter
Contributed to:
2012
20022000Wrote 3 papers:
- LICS-2012-Schuster #algebra #case study #induction
- Induction in Algebra: A First Case Study (PS), pp. 581–585.
- CSL-2002-BridgesIS #revisited
- Compactness and Continuity, Constructively Revisited (DSB, HI, PS), pp. 89–102.
- CSL-2000-Schuster #analysis
- Elementary Choiceless Constructive Analysis (PS), pp. 512–526.