Travelled to:
1 × United Kingdom
Collaborated with:
G.Struth
Talks about:
regular (1) analysi (1) algebra (1) autom (1)
Person: Simon Foster
DBLP: Foster:Simon
Contributed to:
Wrote 1 papers:
- IJCAR-2012-FosterS #algebra #analysis #automation
- Automated Analysis of Regular Algebra (SF, GS), pp. 271–285.