Simon Ambler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1992–2003
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | FOSSACS | Multi-level Meta-reasoning with Higher-Order Abstract Syntax. | Alberto Momigliano, Simon Ambler |
| 1993 | CSL | On Duality for the Modal µ-Calculus. | Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor |
| 1992 | ECAI | Arguments, Contradicitions and Practical Reasoning. | John Fox, Paul J. Krause, Simon Ambler |
| 1992 | IPMU | The Development of a "Logic of Argumentation". | Paul J. Krause, Simon Ambler, John Fox |