Skip to main content
Computer Science
user1868607's user avatar
user1868607's user avatar
user1868607's user avatar
user1868607
  • Member for 8 years, 9 months
  • Last seen this week
Profile Activity
Stats
2,194
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
29
What is a batch compiler?
May 30, 2017
8
What was the major breakthrough between Hoare-Floyd logic and Scott–Strachey semantics?
May 2, 2017
8
What is meant by a full abstract model of a lambda-calculus like language?
Nov 7, 2019
6
How does a nondeterministic Turing machine work?
Aug 28, 2017
5
Procedure to automatically solve field theorems in a SMT solver
Aug 9, 2017
5
Explanation of implication-introduction rule
Jul 28, 2018
5
The definition of weakest precondition for a non-deterministic language
Jan 2, 2019
5
Best way to translate while loops to functions for software verification
Aug 27, 2018
4
Proving program termination in the $\lambda$-calculus
Mar 28, 2021
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
What is known about ideal and divisibility lattices of GCD domains and their generalizations?
12
Ruby protected visibility calling from superclass