Computer Science
Cilenco's user avatar
Cilenco's user avatar
Cilenco's user avatar
Cilenco
  • Member for 7 years, 7 months
  • Last seen more than a month ago
  • Germany
Profile Activity

11 Questions

Score Activity Newest Views
5 votes
1 answer
105 views

Problem with definition of bisimilarity

5 votes
1 answer
2k views

How to prove the emptiness of intersection of two context free languages is undecidable?

3 votes
1 answer
244 views

Proof emptiness for PDA is $\mathcal{O}(n^3)$

3 votes
0 answers
30 views

Automaton without stack for visibly pushdown languages

3 votes
1 answer
104 views

Nested word automatons

2 votes
1 answer
122 views

Is a Petri net without places well-defined?

2 votes
2 answers
232 views

Why is LTL Model Checking in PSPACE

2 votes
2 answers
2k views

Show that NP is not equal to SPACE(n)

1 vote
1 answer
171 views

Efficiently deciding whether TM accepts all inputs in at most $k$ steps

0 votes
1 answer
206 views

Model Checking CTL* algorithm

0 votes
0 answers
87 views

Space complexity for accepting word decision problem of DFAs

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.