Skip to main content
Theoretical Computer Science
TomR's user avatar
TomR's user avatar
TomR's user avatar
TomR
  • Member for 12 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
409
reputation
9k
reached
0
answers
13
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all tags
0
Score
7
Posts
54
Posts %
0
Score
4
Posts
31
Posts %
0
Score
4
Posts
31
Posts %
0
Score
3
Posts
23
Posts %
0
Score
2
Posts
15
Posts %
0
Score
2
Posts
15
Posts %
Top posts
View all questions and answers
question
13
Good reference about approximate methods for solving logic problems
Aug 22, 2013
question
4
Sequent calculus for nonmonotonic/defeasible logics?
Oct 23, 2016
question
3
Can Hoare logic be used when objects are created or deleted?
Dec 25, 2012
question
2
Regaining decidability by adding axioms that model real world situation
Sep 28, 2013
question
2
Tool for specifying operational semantics for given formally specified programming language
Mar 5, 2014
question
2
What is logic programming and does it really add anything new to the logic?
Apr 12, 2014
question
2
Connection between nonmonotonic logic and type theory (lambda calculus)
Oct 3, 2016
question
1
Is there good open source project that apply semantic web, modal logics, and similar technologies
Aug 22, 2013
question
1
How to specify and verify Horn clauses (logic programming programs)? Semantics of Horn clauses
Feb 7, 2016
question
1
How to model degree variable in logic (new type of modal logic?)?
Feb 28, 2016
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?
15
How to see org.codehaus.jackson log messages - using logging.properties
14
What is Catholic "Gold ring mass"? What kind of liturgy it is?
12
Quantum algorithms for Prolog or automated theorem proving?