Skip to main content
Computer Science
mell_o_tron's user avatar
mell_o_tron's user avatar
mell_o_tron's user avatar
mell_o_tron
  • Member for 3 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
287
reputation
2k
reached
8
answers
2
questions
Communities
View all
About

CS graduate student at the University of Pisa, Italy

Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
8
Score
2
Posts
20
Posts %
8
Score
1
Posts
10
Posts %
3
Score
1
Posts
10
Posts %
3
Score
1
Posts
10
Posts %
2
Score
1
Posts
10
Posts %
2
Score
1
Posts
10
Posts %
Top posts
answer
8
Small doubt concerning cardinality of set of problems and algorithms?
Dec 12, 2023
question
5
Closures break induction in correctness proof of interpreter
Feb 2
answer
3
Whats the signifgance of Conway's Game of Life?
Jul 30, 2021
answer
2
Can code "run forever" if it contains no loops?
Dec 12, 2023
answer
1
What's so difficult about computer verifiable proofs?
Jul 20, 2021
answer
1
Transitioning from mathematics to computer science
Nov 27, 2023
answer
1
If a problem A in NP is reducible in polyomial time to a problem B, can one say that B must also be in NP?
Dec 22, 2023
answer
1
$xx$ application in lambda calculus
Jan 1
question
0
If the certification of a problem is P-complete, is the problem NP complete?
Dec 10, 2022
answer
0
What's the Time Complexity and total no of iterations?
Nov 27, 2023
Top network posts
View all network posts
5
What question could be answered by "because the metabolites in the cell are in ionized form" in the topic of anaerobic metabolism?
5
What's the state of research on automated theorem proving?