German Language
Christoph Wintersteiger's user avatar
Christoph Wintersteiger's user avatar
Christoph Wintersteiger's user avatar
Christoph Wintersteiger
  • Member for 11 years, 2 months
  • Last seen more than 11 years ago
Profile Activity
Stats
231
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Researcher at Microsoft Research

Badges
This user doesn’t have any gold badges yet.
1
silver badge
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
13
Use of Konjunktiv II: Why "Ich wünschte", not "ich wünsche"? Compare "I wish" in English!
11
Why are decision problems commonly used in complexity theory?
8
QF_FPA? Does Z3 support IEEE-754 arithmetic?
8
Z3: Convert between FP and BitVector?
8
Does Google Scholar have an API available that we can use in our research applications?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.