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
2015

Extending the Automated Reasoning Toolbox

Ann Lillieström
Licentiatavhandling
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

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

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.