Computer Science
user avatar
user avatar
user avatar
TomR
  • Member for 7 years
  • Last seen more than a week ago
Profile Activity
Stats
1,351
reputation
12k
reached
1
answer
69
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
14
bronze badges
Top tags
View all tags
1
Score
13
Posts
19
Posts %
1
Score
11
Posts
16
Posts %
1
Score
8
Posts
11
Posts %
0
Score
30
Posts
43
Posts %
0
Score
14
Posts
20
Posts %
0
Score
10
Posts
14
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
11
Are there parallel matrix exponentiation algorithms that are more efficient than sequential multiplication?
Aug 16, 2016
question
7
Framework or tools to generate theorem prover/solver/reasoner for new logic
Sep 18, 2016
question
6
Is there relation between K-Framework and structural operational semantics?
Sep 29, 2016
question
6
Do we have knowledge bases only because the logics are not automated enough?
Sep 25, 2017
question
5
Can lambda-calculus be used for knowledge representation?
Jul 25, 2017
question
5
What we lack to do automatic programming?
Dec 5, 2016
question
5
The importance of the language semantics for code generation and frameworks for code generation in model-driven development
Apr 10, 2016
question
5
Lambda calculus as the language of universal logic - connectives vs functions in lambda calculus?
Jan 15, 2018
question
4
Semantic readings of the Lambek sequent calculus
Jun 25, 2017
question
4
How to express modalities in lambda calculus - are some extensions required?
Jun 29, 2017
Top network posts
View all network posts
25
Is it normal design to completely decouple backend and frontend web applications and allow them to communicate with (JSON) REST API?
17
Is there definitive, authoritative scientific/academic consensus about the sustainability and greenness of nuclear energy?
14
How to see org.codehaus.jackson log messages - using logging.properties
13
Good reference about approximate methods for solving logic problems
12
English idiomatic proverb that expresses "work makes the doer"?

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.