Ann Lilliestrm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2009–2016
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CADE | Alternative Treatments of Common Binary Relations in First-order Automated Reasoning. | Koen Claessen, Ann Lilliestrm |
| 2011 | CADE | Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic. | Koen Claessen, Ann Lilliestrm, Nicholas Smallbone |
| 2009 | CADE | Automated Inference of Finite Unsatisfiability. | Koen Claessen, Ann Lilliestrm |