Computer Science
f9c69e9781fa194211448473495534
  • Member for 2 years, 11 months
  • Last seen more than a week ago
Profile Activity
Stats
350
reputation
3k
reached
9
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
6
Score
3
Posts
33
Posts %
5
Score
3
Posts
33
Posts %
3
Score
2
Posts
22
Posts %
2
Score
2
Posts
22
Posts %
2
Score
1
Posts
11
Posts %
2
Score
1
Posts
11
Posts %
Top posts
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
Top network posts
View all network posts
17
TypeError: an integer is required (got type Timestamp)
15
How is it possible for user's password to be changed after storage was encrypted? (on OS X, Android)
13
Difference Between Android.bp and Android.mk
13
Kasai Algorithm for Constructing LCP-Array Practical Example
7
Get the absolute path from std::filesystem::path c++

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.