Martin Berger
  • Member for 9 years, 4 months
  • Last seen more than a week ago
1 answers
10 votes
587 views
1 bookmarks
Probability Distributions and Computational Complexity
2 answers
7 votes
370 views
3 bookmarks
Mapping intuitionistic logic to the modal logic S4
3 answers
7 votes
1k views
2 bookmarks
Inheritance, and dynamic access to members/attributes and methods in Java-like languages
1 answers
6 votes
451 views
1 bookmarks
Non-termination of types in Martin-Löf's Type:Type?
1 answers
6 votes
236 views
Hardness of ambiguity/non-ambiguity for context-free grammars
2 answers
4 votes
625 views
Meta-grammar for context-free grammars
1 answers
3 votes
134 views
1 bookmarks
ZK proof that I possess a ZK proof for membership in $L$?
1 answers
3 votes
619 views
1 bookmarks
Expressive power of lexer + parser
1 answers
1 votes
119 views
How does the cache / memory know where to return results of read requests to?