Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta User
Network Profile
501
reputation
3
11

TomR

Apparently, this user prefers to keep an air of mystery about them.

0
answers
55
questions
~6k
people reached
  • Member for 3 years, 7 months
  • 45 profile views
  • Last seen Mar 13 at 22:34

Communities (49)

Top Network Posts

Top Tags (74)

Score 0
Posts 24
Posts % 44
Score 0
Posts 12
Score 0
Posts 11
Score 0
Posts 10
Score 0
Posts 9
Score 0
Posts 9
View all tags →

Top Posts (55) All Questions Answers | Votes Newest

11 Are there parallel matrix exponentiation algorithms that are more efficient than sequential multiplication? Aug 16 '16
6 Is there relation between K-Framework and structural operational semantics? Sep 29 '16
5 Lambda calculus as the language of universal logic - connectives vs functions in lambda calculus? Jan 15 '18
5 Do we have knowledge bases only because the logics are not automated enough? Sep 25 '17
5 Can lambda-calculus be used for knowledge representation? Jul 25 '17
5 What we lack to do automatic programming? Dec 5 '16
5 Framework or tools to generate theorem prover/solver/reasoner for new logic Sep 18 '16
5 The importance of the language semantics for code generation and frameworks for code generation in model-driven development Apr 10 '16
4 How to explain/understand brackets of applicative functor [[f u1… un]]? Nov 29 '17
4 How logic programming (especially ASP) is related to the reasoning in (first-order) logic? Oct 25 '17
View all questions and answers →

Badges (14)

Gold

—

Silver

3

Rarest

Bronze

11

Rarest

View all badges →