Skip to main content
Andreas T's user avatar
Andreas T's user avatar
Andreas T's user avatar
Andreas T
  • Member for 11 years, 6 months
  • Last seen more than a month ago
5 votes
Accepted

Summation of a Random Variable

4 votes
Accepted

Is this decidable language a subset of this undecidable language?

3 votes
Accepted

What Does The Notation of Union Over K represent?

2 votes
Accepted

Big Omega Counterexample?

2 votes
Accepted

Logical Reduction

2 votes
Accepted

How to find time complexity for functions in lazy functional languages?

1 vote
Accepted

Language equivalent states in a deterministic parity automaton

1 vote
Accepted

Counterexample for simple parity automaton reduction

1 vote
Accepted

How to prove LTL-formulas true for all paths?

0 votes
Accepted

Can minimum or maximum height of the binary search tree be constrained by the position of some elements

0 votes

Relation between sets and partially computable functions

0 votes

Constructing Turing machines