Computer Science
choeger's user avatar
choeger's user avatar
choeger's user avatar
choeger
  • Member for 8 years, 10 months
  • Last seen more than 1 year ago
Profile Activity
Stats
610
reputation
3k
reached
2
answers
18
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
8
bronze badges
Top tags
View all tags
2
Score
4
Posts
20
Posts %
2
Score
4
Posts
20
Posts %
2
Score
3
Posts
15
Posts %
0
Score
4
Posts
20
Posts %
0
Score
4
Posts
20
Posts %
0
Score
3
Posts
15
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
7
Is Semantic Preservation Soundness (or Correctness) or Completeness
Oct 19, 2016
question
6
Capture Avoiding Substitution of multiple variables at once
Nov 28, 2016
question
5
Proof by induction over rules for mutually recursive relations
Jul 13, 2015
question
4
Inference rule with two conclusions or rather inverse function application
Oct 6, 2015
question
4
Common name for inverse of beta reduction
Jun 6, 2016
question
4
Is structural induction on terms applicable when a function is involved?
Oct 19, 2016
question
3
Termination of deterministic term rewriting
Oct 15, 2016
question
3
Notation for a Kleene fixed point with a starting element
Jan 8, 2017
question
2
Typed representation of a memory model
Jul 21, 2016
question
2
Structural induction in non-local program transformation
Sep 26, 2016
Top network posts
View all network posts
22
Why was the Donnager boarded?
20
Did "Yesterday's Enterprise" enjoy a particulary high budget?
18
What happened to the Wehrmacht after the German surrender?
17
Is the difference in orbital velocity of different parts measurable on board the ISS?
17
Is the Falcon Heavy booster much simpler to land than the Falcon 9 first stage?

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.