Ann Lillieström
Doktorand vid
Chalmers, Data- och informationsteknik, Funktionell programmering
Visar 4 publikationer
2016
Handling common transitive relations in first-order automated reasoning
Koen Lindström Claessen, Ann Lillieström
CEUR Workshop Proceedings. Vol. 1635, p. 11-23
Paper i proceeding
2011
Automated Inference of Finite Unsatisfiability
Koen Lindström Claessen, Ann Lillieström
Journal of Automated Reasoning. Vol. 47 (2), p. 111-132
Artikel i vetenskaplig tidskrift
2011
Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic
Koen Lindström Claessen, Ann Lillieström, Nicholas Smallbone
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 207-221
Paper i proceeding
Det finns inga projekt att visa.
Det kan finnas fler projekt där Ann Lillieström medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.