Grigori Mints
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1987–2011
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | WoLLIC | Countable Version of Omega-Rule. | Grigori Mints |
| 2006 | CSR | Unwinding a Non-effective Cut Elimination Proof. | Grigori Mints |
| 1997 | LFCS | Existential Instantiation and Strong Normalization. | Grigori Mints |
| 1997 | TABLEAUX | Three Faces of Natural Deduction. | Grigori Mints |
| 1987 | FCT | Some Formal Systems of the Logic Programming. | Grigori Mints |