Computer Science
Profile Activity
Meta user
Network profile
350
reputation
1
8

f9c69e9781fa194211448473495534

Apparently, this user prefers to keep an air of mystery about them.

9
answers
0
questions
~2k
people reached
  • Member for 2 years
  • 22 profile views
  • Last seen Jan 17 at 1:33

Communities (23)

Top network posts

Top tags (11)

Score 6
Posts 3
Posts % 33
Score 5
Posts 3
Score 3
Posts 2
Score 2
Posts 2
Score 2
Posts 1
Score 2
Posts 1
View all tags →

Top posts (9)

All Questions Answers
Votes Newest
4 What does it mean by “not recursively enumerable”? Nov 10 '19
3 Temporal logic - mixing AF and AG in CTL formula Apr 8 '19
2 General resolution in first order logic Nov 16 '19
2 Computability - The language of all strings of even length Apr 21 '19
1 Model for formula $\Box (\psi \vee \phi) \Rightarrow (\Box \psi) \vee (\Box \phi)$ Feb 8 '20
1 LTL Logic Finally, Globally and Until to irreflexive Version Nov 28 '19
1 Difference between $a^{2n} b^n$ and $n_a(w) = 2n_b(w)$ Nov 27 '19
1 Why do we have free variables in mu-calculus? Oct 15 '19
1 Let L be any non-empty language over an alphabet Σ. Show that $L^2$ ⊆ $L^3$ if and only if λ ∈ L Sep 20 '19

Badges (9)

Gold

—

Silver

1

Rarest

Bronze

8

Rarest