MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Simon Ambler" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

On Duality for the Modal µ-Calculus
by Simon Ambler, Marta Kwiatkowska, Nicholas Measor — 1994 — Proc. 7th Workshop on Computer Science Logic, volume 832 of Lecture Notes in Computer Science
…On duality for the modal ��-calculus Simon Ambler and Marta Kwiatkowska ? and Nicholas Measor…
Add To MetaCart

Mechanized Operational Semantics via (Co)Induction
by Simon J. Ambler, Roy L. Crole — 1999
…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.
by Paul Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox — 1995 — Computational Intelligence
…-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
by Simon Ambler, Leicester Le Rh, Marta Kwiatkowska, Nicholas Measor
…Duality and the completeness of the modal ��-calculus Simon Ambler Department of Mathematics…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB