Searching for authors named "Simon Ambler" – sorted by Relevance.
-
On Duality for the Modal µ-Calculus
- On duality for the modal ��-calculus Simon Ambler and Marta Kwiatkowska ? and Nicholas Measor
- Add To MetaCart
-
Mechanized Operational Semantics via (Co)Induction
- Mechanized Operational Semantics via (Co)Induction (Preliminary Report) Simon J. Ambler and Roy L
- Cited by 1 (0 self) – Add To MetaCart
-
A Logic of Argumentation for Reasoning under Uncertainty.
- -131, 1995. Paul Krause 1 , Simon Ambler 2 , Morten Elvang-G��ransson 1,3 and John Fox 1 1 Imperial
- Cited by 81 (3 self) – Add To MetaCart
-
Duality and the Completeness of the Modal µ-Calculus
- Duality and the completeness of the modal ��-calculus Simon Ambler Department of Mathematics
- Add To MetaCart

