Travelled to:1 × Canada
1 × Poland
Collaborated with:K.Claessen N.Smallbone
Talks about:sort (2) unsatisfi (1) translat (1) monoton (1) between (1) unsort (1) order (1) logic (1) infer (1) first (1)
Person: Ann Lillieström
DBLP: Lilliestr=ouml=m:Ann
Contributed to:
20112009Wrote 2 papers:
- CADE-2011-ClaessenLS #first-order #logic
- Sort It Out with Monotonicity — Translating between Many-Sorted and Unsorted First-Order Logic (KC, AL, NS), pp. 207–221.
- CADE-2009-ClaessenL #automation #finite #satisfiability
- Automated Inference of Finite Unsatisfiability (KC, AL), pp. 388–403.