Taus Brock-Nannestad
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2010–2016
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FLOPS | Space-Efficient Planar Acyclicity Constraints - A Declarative Pearl. | Taus Brock-Nannestad |
| 2015 | PPDP | Computation in focused intuitionistic logic. | Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson |
| 2015 | TABLEAUX | Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations. | Taus Brock-Nannestad, Kaustuv Chaudhuri |
| 2012 | CADE | Truthful Monadic Abstractions. | Taus Brock-Nannestad, Carsten Schrmann |
| 2010 | LPAR | Focused Natural Deduction. | Taus Brock-Nannestad, Carsten Schrmann |