Computer Science
Meta user
Network profile
255
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
~1k
people reached
  • Germany
  • Member for 3 years, 10 months
  • 17 profile views
  • Last seen Jul 22 at 22:45

Communities (10)

Top network posts

Top tags (20)

Score 1
Posts 1
Posts % 8
Score 1
Posts 1
Score 0
Posts 3
Score 0
Posts 3
Score 0
Posts 3
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
5 Problem with definition of bisimilarity May 13 '17
3 Proof emptiness for PDA is $\mathcal{O}(n^3)$ May 21
3 Nested word automatons Mar 10
3 Automaton without stack for visibly pushdown languages Mar 6
3 Why is LTL Model Checking in PSPACE Jan 30
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
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