User Akshar Prabhu Desai

5 votes

2 answers

2k views

Horn clauses and satisfiability

asked Aug 9, 2010 at 10:52

3 votes

2 answers

2k views

Graph properties and FOL

asked Aug 28, 2010 at 7:30

2 votes

1 answer

310 views

Graph properties and infinite FOL sentences

asked Aug 29, 2010 at 20:53

1 vote

1 answer

630 views

Exponent function as uninterpreted function in first order logic

asked Aug 11, 2010 at 9:16

1 vote

1 answer

274 views

Natural number properties as uninterpreted functions in first order logic

asked Aug 12, 2010 at 20:36

0 votes

1 answer

238 views

Models for the given FOL statement

asked Aug 29, 2010 at 21:26

0 votes

1 answer

1k views

How to tackle this puzzle? [closed]

asked Aug 24, 2010 at 13:50

-3 votes

1 answer

318 views

Porbability of selecting balls from boxes [closed]

asked Aug 21, 2010 at 6:28

Stack Exchange Network

8 Questions

Horn clauses and satisfiability

Graph properties and FOL

Graph properties and infinite FOL sentences

Exponent function as uninterpreted function in first order logic

Natural number properties as uninterpreted functions in first order logic

Models for the given FOL statement

How to tackle this puzzle? [closed]

Porbability of selecting balls from boxes [closed]