Linda Postniece

	2009
4		Rajeev Goré, Linda Postniece, Alwen Tiu: Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. TABLEAUX 2009: 189-204
3		Linda Postniece: Deep Inference in Bi-intuitionistic Logic. WoLLIC 2009: 320-334
	2008
2		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		Rajeev Goré, Linda Postniece: An Experimental Evaluation of Global Caching for (System Description). IJCAR 2008: 299-305

Coauthor Index

1	Rajeev Goré	[1] [2] [4]
2	Alwen Tiu (Alwen Fernanto Tiu)	[2] [4]