- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| c6 |      | Alberto Momigliano, Simon Ambler: Multi-level Meta-reasoning with Higher-Order Abstract Syntax. FoSSaCS 2003: 375-391 |
| 2002 | ||
| j6 | | 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): 60-75 (2002) |
| c5 | | Simon Ambler, Roy L. Crole, Alberto Momigliano: Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. TPHOLs 2002: 13-30 |
| 2001 | ||
| j5 | | Simon Ambler, Roy L. Crole, Alberto Momigliano: Preface: Mechanised Reasoning about Languages with Variable Binding 2001. Electr. Notes Theor. Comput. Sci. 58(1): 115-116 (2001) |
| 1999 | ||
| c4 | | Simon Ambler, Roy L. Crole: Mechanized Operational Semantics via (Co)Induction. TPHOLs 1999: 221-238 |
| 1996 | ||
| j4 | | Simon Ambler, Dominic Verity: Generalized logic and the representation of rings. Applied Categorical Structures 4(2-3): 283-296 (1996) |
| j3 | | Simon Ambler: A Categorial Approach to the Semantics of Argumentation. Mathematical Structures in Computer Science 6(2): 167-188 (1996) |
| 1995 | ||
| j2 | | Paul Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox: A Logic of Argumentation for Reasoning under Uncertainty. Computational Intelligence 11: 113-131 (1995) |
| j1 | | 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 | ||
| c3 | | Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor: On Duality for the Modal µ-Calculus. CSL 1993: 18-32 |
| 1992 | ||
| c2 |  | John Fox, Paul Krause, Simon Ambler: Arguments, Contradicitions and Practical Reasoning. ECAI 1992: 623-627 |
| c1 | | Paul Krause, Simon Ambler, John Fox: The Development of a "Logic of Argumentation". IPMU 1992: 109-118 |
| 1 | Roy L. Crole | |
| 2 | Morten Elvang-Gøransson | |
| 3 | John Fox | |
| 4 | Paul Krause | |
| 5 | Marta Z. Kwiatkowska | |
| 6 | Nicholas Measor | |
| 7 | Alberto Momigliano | |
| 8 | Dominic Verity |
Colors in the list of coauthors
Last update Mon May 20 01:25:20 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page