Simon Ambler

14 papers A 1B 2C 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2003 B conf
Multi-level Meta-reasoning with Higher-Order Abstract Syntax.
FoSSaCS
Alberto Momigliano, Simon Ambler
2002 — conf
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.
LFM
Alberto Momigliano, Simon Ambler, Roy L. Crole
2002 — conf
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction.
TPHOLs
Simon Ambler, Roy L. Crole, Alberto Momigliano
2001 — ed.
Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001
MERLIN
Simon Ambler, Roy L. Crole, Alberto Momigliano
2001 — conf
Preface: Mechanised Reasoning about Languages with Variable Binding 2001.
MERLIN
Simon Ambler, Roy L. Crole, Alberto Momigliano
1999 — conf
Mechanized Operational Semantics via (Co)Induction.
TPHOLs
Simon Ambler, Roy L. Crole
1996 J jnl
A Categorial Approach to the Semantics of Argumentation.
Math. Struct. Comput. Sci.
Simon Ambler
1996 J jnl
Generalized logic and the representation of rings.
Appl. Categorical Struct.
Simon Ambler, Dominic R. Verity
1995 J jnl
A Logic of Argumentation for Reasoning under Uncertainty.
Comput. Intell.
Paul J. Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox
1995 J jnl
Duality and the Completeness of the Modal mu-Calculus.
Theor. Comput. Sci.
Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
1993 B conf
On Duality for the Modal µ-Calculus.
CSL
Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
1992 A conf
Arguments, Contradicitions and Practical Reasoning.
ECAI
John Fox, Paul J. Krause, Simon Ambler
1992 C conf
The Development of a "Logic of Argumentation".
IPMU
Paul J. Krause, Simon Ambler, John Fox
1991 — —
First order linear logic in symmetric monoidal closed categories.
Simon Ambler