Theoretical Computer Science
Evan Aad's user avatar
Evan Aad's user avatar
Evan Aad's user avatar
Evan Aad
  • Member for 4 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
354
reputation
1k
reached
0
answers
10
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
0
Score
5
Posts
50
Posts %
0
Score
3
Posts
30
Posts %
0
Score
3
Posts
30
Posts %
0
Score
2
Posts
20
Posts %
0
Score
1
Posts
10
Posts %
0
Score
1
Posts
10
Posts %
Top posts
All Questions Answers
Score Newest
question
4
A first order logic extended with binding terms like the familiar set descriptors $\{x:\varphi\}$
Jul 20, 2019
question
4
The theory of definitions in first order logic
Jul 21, 2019
question
4
A possible error in the semantic chapter of the ISO standard for the Z specification notation
Oct 8, 2020
question
3
Looking for an online community specializing in the Z specification language, where I can ask questions
Oct 7, 2020
question
3
Equivalence of finitary and infinitary semantics of concurrent programs
Feb 26
question
2
Formal semantics of a simple object oriented language without inheritance but with self-referential objects
Sep 2
question
2
A clear and rigorous explanation of critical pairs and the Knuth-Bendix completion algorithm?
Oct 27, 2020
question
1
What is the intuitive meaning of the weakest precondition expression $\text{wp}(S,R)$ in refinement calculus with miracles?
Nov 13, 2020
question
0
Which temporal logic is the one described in Manna & Pnueli's "The Temporal Logic of Reactive and Concurrent Systems: Specification"?
Feb 27
question
0
The minimal number of messages required to solve the mutual exclusion problem in a symmetric distributed system
Jul 20
Top network posts
View all network posts
203
Problems installing the devtools package
198
Problems installing the devtools package
55
How to start a math blog?
47
Is there any reason to use inputenc?
46
Interpreting the residuals vs. fitted values plot for verifying the assumptions of a linear model

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.