Visiting address: Rännvägen 6
Room: 5461, 5th floor (EDIT-building)
PhD student in the Functional Programming Research Group.
Supervisor: Koen Claessen
Claessen, Koen; Lillieström, Ann: Automated Inference of Finite Unsatisfiability. Journal of Automated Reasoning, 47 (2) pp. 111-132.
Claessen, Koen; Lillieström, Ann; Smallbone, Nicholas: Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic. Lecture Notes in Computer Science, CADE'11 Proceedings of the 23rd international conference on Automated deduction, pp. 207-221. ISBN/ISSN: 978-3-642-22437-9
SEARCH STAFF First name Last name
SEARCH Whole site Staff
Computing Science >> Computer Engineering >> Networks and Systems >> Software Engineering >> Software Technology >> Administration >>