next up previous contents
Next: Contents

Synthesising axioms by games

Robin Hirsch and Ian Hodkinson1



 

Robin HIRSCH
2001-01-25