Akshar Prabhu Desai's user avatar
Akshar Prabhu Desai's user avatar
Akshar Prabhu Desai's user avatar
Akshar Prabhu Desai
  • Member for 13 years, 7 months
  • Last seen more than 9 years ago
5 votes
2 answers
2k views

Horn clauses and satisfiability

3 votes
2 answers
2k views

Graph properties and FOL

0 votes
1 answer
1k views

How to tackle this puzzle? [closed]

1 vote
1 answer
616 views

Exponent function as uninterpreted function in first order logic

-3 votes
1 answer
316 views

Porbability of selecting balls from boxes [closed]

2 votes
1 answer
307 views

Graph properties and infinite FOL sentences

1 vote
1 answer
270 views

Natural number properties as uninterpreted functions in first order logic

0 votes
1 answer
231 views

Models for the given FOL statement