Linda Postniece
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2008–2010
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | AiML | Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. | Rajeev Gor, Linda Postniece, Alwen Tiu |
| 2009 | TABLEAUX | Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. | Rajeev Gor, Linda Postniece, Alwen Tiu |
| 2009 | WoLLIC | Deep Inference in Bi-intuitionistic Logic. | Linda Postniece |
| 2008 | AiML | Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. | Rajeev Gor, Linda Postniece, Alwen Tiu |
| 2008 | CADE | An Experimental Evaluation of Global Caching for (System Description). | Rajeev Gor, Linda Postniece |