Richard Lipton

Publication Activity (10 Years)

Years Active: 1976-2022
Publications (10 Years): 4

Top Topics

First Order Logic

Query Processing

Top Venues

Artif. Intell. Medicine

Publications

Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
On the Skolem Problem and the Skolem Conjecture. LICS (2022)
George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
On the skolem problem and prime powers. ISSAC (2020)
Zina Ben Miled, Kyle Haas, Christopher M. Black, Rezaul Karim Khandker, Vasu Chandrasekaran, Richard Lipton, Malaz A. Boustani
Predicting dementia with routine care EMR data. Artif. Intell. Medicine 102 (2020)
George Kenison, Richard Lipton, Joël Ouaknine, James Worrell
On the Skolem Problem and Prime Powers. CoRR (2020)
Mary-Claire Van Leunen, Richard Lipton
How to have your abstract rejected. SIGACT News 8 (3) (1976)