Simon Ambler - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2003

Multi-level Meta-reasoning with Higher-Order Abstract SyntaxAlberto Momigliano, Simon Ambler. fossacs 2003: 375-391 [doi]

2002

Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)InductionSimon Ambler, Roy L. Crole, Alberto Momigliano. tphol 2002: 13-30 [doi]

A Hybrid Encoding of Howe s Method for Establishing Congruence of BisimilarityAlberto Momigliano, Simon Ambler, Roy L. Crole. ENTCS, 70(2):60-75, 2002. [doi]

2001

Preface: Mechanised Reasoning about Languages with Variable Binding 2001Simon Ambler, Roy L. Crole, Alberto Momigliano. TCS, 58(1):115-116, 2001. [doi]

1999

Mechanized Operational Semantics via (Co)InductionSimon Ambler, Roy L. Crole. tphol 1999: 221-238 [doi]

1996

A Categorial Approach to the Semantics of ArgumentationSimon Ambler. mscs, 6(2):167-188, 1996.

Generalized logic and the representation of ringsSimon Ambler, Dominic Verity. acs, 4(2-3):283-296, 1996. [doi]

1995

Duality and the Completeness of the Modal mu-CalculusSimon Ambler, Marta Z. Kwiatkowska, Nicholas Measor. TCS, 151(1):3-27, 1995. [doi]

A Logic of Argumentation for Reasoning under UncertaintyPaul Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox. ci, 11:113-131, 1995.

1993

On Duality for the Modal µ-CalculusSimon Ambler, Marta Z. Kwiatkowska, Nicholas Measor. csl 1994: 18-32

1992

Arguments, Contradicitions and Practical ReasoningJohn Fox, Paul Krause, Simon Ambler. ecai 1992: 623-627

The Development of a Logic of Argumentation Paul Krause, Simon Ambler, John Fox. ipmu 1993: 109-118

1991

First order linear logic in symmetric monoidal closed categoriesSimon Ambler. PhD thesis, University of Edinburgh, UK, 1991. [doi]

Sign in or sign up to see more results.

runs on WebDSL