Skip to main content
Theoretical Computer Science
abrahimladha's user avatar
abrahimladha's user avatar
abrahimladha's user avatar
abrahimladha
  • Member for 8 years, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
247
reputation
904
reached
1
answer
4
questions
Communities
View all
About

Lecturer

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
1
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
question
5
Mechanization of Mathematics
Sep 15, 2016
question
5
What is the probability a random language in $\mathsf{PSPACE}$ is in $\mathsf{P}$?
May 2
answer
1
Given two languages and their grammars can you translate from one to the other?
Jul 1, 2021
question
1
Is this a weaker or stronger form of the halting problem
Apr 22, 2021
question
1
Cook-Levin Theorem implies a transformation from witnesses to witnesses
Apr 1, 2023
Top network posts
View all network posts
34
The use of computers leading to major mathematical advances II
17
Autistic Assistant of Gauss used to check Primality
14
Interesting implementation practices in popular crypto library
9
Disable elements of the firefox 57 UI for TreeStyleTab
7
Is the complexity of a quantum circuit constant in the depth of the circuit?