Simon Ambler

Publication Activity (10 Years)

Years Active: 1992-2003
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Alberto Momigliano, Simon Ambler
Multi-level Meta-reasoning with Higher-Order Abstract Syntax. FoSSaCS (2003)
Simon Ambler, Roy L. Crole, Alberto Momigliano
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. TPHOLs (2002)
Alberto Momigliano, Simon Ambler, Roy L. Crole
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. Electron. Notes Theor. Comput. Sci. 70 (2) (2002)
Simon Ambler, Roy L. Crole, Alberto Momigliano
Preface: Mechanised Reasoning about Languages with Variable Binding 2001. Electron. Notes Theor. Comput. Sci. 58 (1) (2001)
Simon Ambler, Roy L. Crole
Mechanized Operational Semantics via (Co)Induction. TPHOLs (1999)
Simon Ambler, Dominic R. Verity
Generalized logic and the representation of rings. Appl. Categorical Struct. 4 (2-3) (1996)
Simon Ambler
A Categorial Approach to the Semantics of Argumentation. Math. Struct. Comput. Sci. 6 (2) (1996)
Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
Duality and the Completeness of the Modal mu-Calculus. Theor. Comput. Sci. 151 (1) (1995)
Paul J. Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox
A Logic of Argumentation for Reasoning under Uncertainty. Comput. Intell. 11 (1995)
Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
On Duality for the Modal µ-Calculus. CSL (1993)
John Fox, Paul J. Krause, Simon Ambler
Arguments, Contradicitions and Practical Reasoning. ECAI (1992)
Paul J. Krause, Simon Ambler, John Fox
The Development of a "Logic of Argumentation". IPMU (1992)

Simon Ambler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Simon Ambler