Skip to main content
Computer Science
user1868607's user avatar
user1868607's user avatar
user1868607's user avatar
user1868607
  • Member for 8 years, 11 months
  • Last seen this week
Profile Activity
Stats
2,204
reputation
34k
reached
11
answers
66
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
13
silver badges
23
bronze badges
Top tags
View all tags
3
Score
6
Posts
8
Posts %
1
Score
12
Posts
16
Posts %
1
Score
11
Posts
14
Posts %
1
Score
10
Posts
13
Posts %
1
Score
8
Posts
10
Posts %
0
Score
11
Posts
14
Posts %
Top posts
View all questions and answers
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
7
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
The definition of weakest precondition for a non-deterministic language
Jan 2, 2019
question
5
Best way to translate while loops to functions for software verification
Aug 27, 2018
question
4
Proving program termination in the $\lambda$-calculus
Mar 28, 2021
question
4
Description of lists with functions in LISP
Dec 16, 2016
Top network posts
View all network posts
23
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
12
What is known about ideal and divisibility lattices of GCD domains and their generalizations?