Search the dblp DataBase
Simon Ambler :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Simon Ambler , Marta Z. Kwiatkowska , Nicholas Measor On Duality for the Modal µ-Calculus. [Citation Graph (0, 0)][DBLP ] CSL, 1993, pp:18-32 [Conf ] John Fox , Paul Krause , Simon Ambler Arguments, Contradicitions and Practical Reasoning. [Citation Graph (0, 0)][DBLP ] ECAI, 1992, pp:623-627 [Conf ] Alberto Momigliano , Simon Ambler Multi-level Meta-reasoning with Higher-Order Abstract Syntax. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2003, pp:375-391 [Conf ] Paul Krause , Simon Ambler , John Fox The Development of a "Logic of Argumentation". [Citation Graph (0, 0)][DBLP ] IPMU, 1992, pp:109-118 [Conf ] Simon Ambler , Roy L. Crole Mechanized Operational Semantics via (Co)Induction. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:221-238 [Conf ] Simon Ambler , Roy L. Crole , Alberto Momigliano Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2002, pp:13-30 [Conf ] Paul Krause , Simon Ambler , Morten Elvang-Gøransson , John Fox A Logic of Argumentation for Reasoning under Uncertainty. [Citation Graph (0, 0)][DBLP ] Computational Intelligence, 1995, v:11, n:, pp:113-131 [Journal ] Alberto Momigliano , Simon Ambler , Roy L. Crole A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal ] Simon Ambler A Categorial Approach to the Semantics of Argumentation. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1996, v:6, n:2, pp:167-188 [Journal ] Simon Ambler , Roy L. Crole , Alberto Momigliano Preface: Mechanised Reasoning about Languages with Variable Binding 2001. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal ] Simon Ambler , Marta Z. Kwiatkowska , Nicholas Measor Duality and the Completeness of the Modal mu-Calculus. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:151, n:1, pp:3-27 [Journal ] Search in 0.002secs, Finished in 0.003secs