Computer Science
Meta user
Network profile
385
reputation
1
7

Cilenco

Student at the university of Münster (Germany). I concentrate on Android development and efficient algorithms and data structures.

1
answer
11
questions
~2k
people reached
  • Germany
  • Member for 4 years, 4 months
  • 21 profile views
  • Last seen Jul 22 '19 at 22:45

Communities (10)

Top network posts

Top tags (17)

Score 1
Posts 1
Posts % 8
Score 0
Posts 3
Score 0
Posts 3
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (12) All Questions Answers | Votes Newest

5 How to prove the emptiness of intersection of two context free languages is undecidable? May 18 '19
5 Problem with definition of bisimilarity May 13 '17
3 Proof emptiness for PDA is $\mathcal{O}(n^3)$ May 21 '19
3 Nested word automatons Mar 10 '19
3 Automaton without stack for visibly pushdown languages Mar 6 '19
3 Why is LTL Model Checking in PSPACE Jan 30 '19
2 Is a Petri net without places well-defined? Oct 19 '15
1 Efficiently deciding whether TM accepts all inputs in at most $k$ steps May 19 '19
1 Show that NP is not equal to SPACE(n) Jun 24 '18
1 Nodes reached with exactly $k$ steps in an undirected graph? May 26 '17
View all questions and answers →

Badges (8)

Gold

—

Silver

1

Rarest

Bronze

7

Rarest