Linda Postniece

List of publications from the DBLP Bibliography Server - FAQ

2008

2 EE Rajeev Goré, Linda Postniece, Alwen Tiu: Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Advances in Modal Logic 2008: 43-66

1 EE Rajeev Goré, Linda Postniece: An Experimental Evaluation of Global Caching for (System Description). IJCAR 2008: 299-305

2008
2	EE	Rajeev Goré, Linda Postniece, Alwen Tiu: Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Advances in Modal Logic 2008: 43-66
1	EE	Rajeev Goré, Linda Postniece: An Experimental Evaluation of Global Caching for (System Description). IJCAR 2008: 299-305

Coauthor Index

1 Rajeev Goré [1] [2]

2 Alwen Tiu (Alwen Fernanto Tiu) [2]