Computer Science
Meta user
Network profile
340
reputation
8

f9c69e9781fa194211448473495534

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

8
answers
0
questions
~1k
people reached
  • Member for 11 months
  • 12 profile views
  • Last seen Jan 15 at 7:23

Communities (19)

Top network posts

Top tags (11)

Score 6
Posts 3
Posts % 38
Score 4
Posts 2
Score 2
Posts 1
Score 2
Posts 1
Score 2
Posts 1
Score 2
Posts 1
View all tags →

Top posts (8) 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 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 (8)

Gold

—

Silver

—

Bronze

8

Rarest