| 2003 |
|---|
| 11 | EE | Alberto Momigliano,
Simon Ambler:
Multi-level Meta-reasoning with Higher-Order Abstract Syntax.
FoSSaCS 2003: 375-391 |
| 2002 |
|---|
| 10 | EE | Simon Ambler,
Roy L. Crole,
Alberto Momigliano:
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction.
TPHOLs 2002: 13-30 |
| 9 | EE | Alberto Momigliano,
Simon Ambler,
Roy L. Crole:
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.
Electr. Notes Theor. Comput. Sci. 70(2): (2002) |
| 2001 |
|---|
| 8 | EE | Simon Ambler,
Roy L. Crole,
Alberto Momigliano:
Preface: Mechanised Reasoning about Languages with Variable Binding 2001.
Electr. Notes Theor. Comput. Sci. 58(1): (2001) |
| 1999 |
|---|
| 7 | EE | Simon Ambler,
Roy L. Crole:
Mechanized Operational Semantics via (Co)Induction.
TPHOLs 1999: 221-238 |
| 1996 |
|---|
| 6 | | Simon Ambler:
A Categorial Approach to the Semantics of Argumentation.
Mathematical Structures in Computer Science 6(2): 167-188 (1996) |
| 1995 |
|---|
| 5 | | Paul Krause,
Simon Ambler,
Morten Elvang-Gøransson,
John Fox:
A Logic of Argumentation for Reasoning under Uncertainty.
Computational Intelligence 11: 113-131 (1995) |
| 4 | EE | Simon Ambler,
Marta Z. Kwiatkowska,
Nicholas Measor:
Duality and the Completeness of the Modal mu-Calculus.
Theor. Comput. Sci. 151(1): 3-27 (1995) |
| 1993 |
|---|
| 3 | | Simon Ambler,
Marta Z. Kwiatkowska,
Nicholas Measor:
On Duality for the Modal µ-Calculus.
CSL 1993: 18-32 |
| 1992 |
|---|
| 2 | | John Fox,
Paul Krause,
Simon Ambler:
Arguments, Contradicitions and Practical Reasoning.
ECAI 1992: 623-627 |
| 1 | | Paul Krause,
Simon Ambler,
John Fox:
The Development of a "Logic of Argumentation".
IPMU 1992: 109-118 |
