Jonathan Stavi

Publication Activity (10 Years)

Years Active: 1973-1990
Publications (10 Years): 0

Publications

Mark E. Nadel, Jonathan Stavi
On Models of the Elementary Theory of (Z, +, 1). J. Symb. Log. 55 (1) (1990)
Krzysztof R. Apt, Amir Pnueli, Jonathan Stavi
Fair Termination Revisited-With Delay. Theor. Comput. Sci. 33 (1984)
Menachem Magidor, Saharon Shelah, Jonathan Stavi
Countably decomposable admissible sets. Ann. Pure Appl. Log. 26 (3) (1984)
David Harel, Amir Pnueli, Jonathan Stavi
Propositional Dynamic Logic of Nonregular Programs. J. Comput. Syst. Sci. 26 (2) (1983)
Menachem Magidor, Saharon Shelah, Jonathan Stavi
On the Standard Part of Nonstandard Models of Set Theory. J. Symb. Log. 48 (1) (1983)
David Harel, Amir Pnueli, Jonathan Stavi
Further Results on Propositional Dynamic Logic of Nonregular Programs. Logic of Programs (1981)
David Harel, Amir Pnueli, Jonathan Stavi
Propositional Dynamic Logic of Context-Free Programs FOCS (1981)
Daniel Lehmann, Amir Pnueli, Jonathan Stavi
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination. ICALP (1981)
Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi
On the Temporal Analysis of Fairness. POPL (1980)
Larry M. Manevitz, Jonathan Stavi
Operators and Alternating Sentences in Arithmetic. J. Symb. Log. 45 (1) (1980)
Mark E. Nadel, Jonathan Stavi
The Pure Part of HYP(M). J. Symb. Log. 42 (1) (1977)
David Harel, Amir Pnueli, Jonathan Stavi
A Complete Axiomatic System for Proving Deductions about Recursive Programs STOC (1977)
Jonathan Stavi
A Converse of the Barwise Completeness Theorem. J. Symb. Log. 38 (4) (1973)