James Lipton
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1991–2014
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | LOPSTR | Declarative Compilation for Constraint Logic Programming. | Emilio Jess Gallego Arias, James Lipton, Julio Mario-Carballo |
| 2012 | ICLP | Logic Programming in Tabular Allegories. | Emilio Jess Gallego Arias, James Lipton |
| 2008 | CSL | A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. | Olivier Hermant, James Lipton |
| 2001 | LPAR | Indexed Categories and Bottom-Up Semantics of Logic Programs. | Gianluca Amato, James Lipton |
| 1994 | CSL | Logic Programming in Tau Categories. | Stacy E. Finkelstein, Peter J. Freyd, James Lipton |
| 1994 | MFCS | Intuitive Counterexamples for Constructive Fallacies. | James Lipton, Michael J. O'Donnell |
| 1991 | CSL | Provability in TBLL: A Decision Procedure. | Jawahar Chirimar, James Lipton |