Computer Science
user1868607's user avatar
user1868607's user avatar
user1868607's user avatar
user1868607
  • Member for 8 years
  • Last seen this week
Profile Activity
Stats
2,240
reputation
32k
reached
8
answers
72
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
23
bronze badges
Top tags
View all tags
3
Score
6
Posts
8
Posts %
1
Score
12
Posts
15
Posts %
1
Score
10
Posts
12
Posts %
1
Score
9
Posts
11
Posts %
0
Score
12
Posts
15
Posts %
0
Score
10
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
29
What is a batch compiler?
May 30, 2017
question
8
What was the major breakthrough between Hoare-Floyd logic and Scott–Strachey semantics?
May 2, 2017
question
8
What is meant by a full abstract model of a lambda-calculus like language?
Nov 7, 2019
answer
6
How does a nondeterministic Turing machine work?
Aug 28, 2017
question
5
Procedure to automatically solve field theorems in a SMT solver
Aug 9, 2017
question
5
Explanation of implication-introduction rule
Jul 28, 2018
question
5
Best way to translate while loops to functions for software verification
Aug 27, 2018
question
5
The definition of weakest precondition for a non-deterministic language
Jan 2, 2019
question
4
Problems of cyclic executive approach for scheduling of real time systems
Jan 24, 2016
question
4
Proving program termination in the $\lambda$-calculus
Mar 28, 2021
Top network posts
View all network posts
22
Multiplication of a random variable with constant
19
How to demo Skype-decryption using FOSS tools?
14
Algebraic topology for termination proofs
12
Ruby protected visibility calling from superclass
11
Expectation of gradient in stochastic gradient descent algorithm

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.