Linda Postniece's PhD website

From 2007 to 2010, I was a PhD student in the Computer Sciences Laboratory at the Australian National University. I worked in automated reasoning and proof theory of non-classical, modal and description logics. This page contains preprints of my publications and some software I produced during my PhD studies.

My personal website contains more recent information.

Publications

2010

2009

2008

Software

Presentations

Last updated: 20 June 2009