user avatar
user avatar
user avatar
Martin Berger
  • Member for 9 years, 8 months
  • Last seen this week
10 votes
1 answer
618 views

Probability Distributions and Computational Complexity

7 votes
3 answers
1k views

Inheritance, and dynamic access to members/attributes and methods in Java-like languages

7 votes
2 answers
388 views

Mapping intuitionistic logic to the modal logic S4

6 votes
1 answer
236 views

Hardness of ambiguity/non-ambiguity for context-free grammars

6 votes
1 answer
464 views

Non-termination of types in Martin-Löf's Type:Type?

4 votes
2 answers
659 views

Meta-grammar for context-free grammars

3 votes
1 answer
634 views

Expressive power of lexer + parser

3 votes
1 answer
144 views

ZK proof that I possess a ZK proof for membership in $L$?

3 votes
1 answer
187 views

Shannon's result that some Boolean functions require exponential circuits

1 vote
1 answer
127 views

How does the cache / memory know where to return results of read requests to?