Computer Science
f9c69e9781fa194211448473495534's user avatar
f9c69e9781fa194211448473495534's user avatar
f9c69e9781fa194211448473495534's user avatar
f9c69e9781fa194211448473495534
  • Member for 4 years, 10 months
  • Last seen more than a month 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
9
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
Score Newest
answer
4
What does it mean by "not recursively enumerable"?
Nov 10, 2019
answer
3
Temporal logic - mixing AF and AG in CTL formula
Apr 8, 2019
answer
2
Computability - The language of all strings of even length
Apr 21, 2019
answer
2
General resolution in first order logic
Nov 16, 2019
answer
1
Let L be any non-empty language over an alphabet Σ. Show that $L^2$ ⊆ $L^3$ if and only if λ ∈ L
Sep 20, 2019
answer
1
Why do we have free variables in mu-calculus?
Oct 15, 2019
answer
1
Difference between $a^{2n} b^n$ and $n_a(w) = 2n_b(w)$
Nov 27, 2019
answer
1
LTL Logic Finally, Globally and Until to irreflexive Version
Nov 28, 2019
answer
1
Model for formula $\Box (\psi \vee \phi) \Rightarrow (\Box \psi) \vee (\Box \phi)$
Feb 8, 2020
Top network posts
View all network posts
20
TypeError: an integer is required (got type Timestamp)
19
Difference Between Android.bp and Android.mk
17
Kasai Algorithm for Constructing LCP-Array Practical Example
15
How is it possible for user's password to be changed after storage was encrypted? (on OS X, Android)
15
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.