MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jonathan Stavi" – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Reflection Principles for the Continuum
by Jonathan Stavi, Jouko Väänänen
…Re ection principles for the continuum Jonathan Stavi y Department of Mathematics and Computer…
Cited by 3 (0 self) – Add To MetaCart

Contemporary Mathematics Reflection
by Jonathan Stavi, Jouko Väänänen
…. Contemporary Mathematics Reflection principles for the continuum Jonathan Stavi and Jouko Väänänen Abstract…
Add To MetaCart

Propositional Dynamic Logic of Nonregular Programs
by David Harel, Amir Pnueli, Jonathan Stavi — 1983 — Journal of Computer and System Sciences
… of Nonregular Programs DAVID HAREL,*'* AMIR PNUELI,* AND JONATHAN STAVI* *Department of Applied Mathematics…
Cited by 20 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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