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.003secs, Finished in 0.004secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002