Dr. John Schlipf
|
|
John Schlipf, Professor Office: 892 Rhodes Phone: 556-1812 Email: john.schlipf@uc.edu Website: http://www.cs.uc.edu/~schlipf |
Research Interests
- Logic programming and deductive databases
- Algorithms for satisfiability
- Computability and complexity
- Formal verification
- Model theory