Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Simon
Last name:	Ambler
DBLP:	38/4365
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 11  

Select a publication
Show	Title	Venue	Rating	Date
	Alberto Momigliano, Simon Ambler. Multi-level Meta-reasoning with Higher-Order Abstract Syntax.	Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings 2003	(0)	2003
	Simon Ambler, Roy L. Crole, Alberto Momigliano. Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction.	Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings 2002	(0)	2002
	Alberto Momigliano, Simon Ambler, Roy L. Crole. A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.	Electr. Notes Theor. Comput. Sci. 2002, Volume 70	(0)	2002
	Simon Ambler, Roy L. Crole, Alberto Momigliano. Preface: Mechanised Reasoning about Languages with Variable Binding 2001.	Electr. Notes Theor. Comput. Sci. 2001, Volume 58	(0)	2001
	Simon Ambler, Roy L. Crole. Mechanized Operational Semantics via (Co)Induction.	Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings 1999	(0)	1999
	Simon Ambler. A Categorial Approach to the Semantics of Argumentation.	Mathematical Structures in Computer Science 1996, Volume 6	(0)	1996
	Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor. Duality and the Completeness of the Modal mu-Calculus.	Theor. Comput. Sci. 1995, Volume 151	(0)	1995
	Paul Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox. A Logic of Argumentation for Reasoning under Uncertainty.	Computational Intelligence 1995, Volume 11	(0)	1995
	Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor. On Duality for the Modal µ-Calculus.	Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers 1994	(0)	1993
	John Fox, Paul Krause, Simon Ambler. Arguments, Contradicitions and Practical Reasoning.	ECAI 1992	(0)	1992

Your query returned 11 matches in the database.