| 1990 |
|---|
| 12 | | Mark E. Nadel,
Jonathan Stavi:
On Models of the Elementary Theory of (Z, +, 1).
J. Symb. Log. 55(1): 1-20 (1990) |
| 1984 |
|---|
| 11 | | Krzysztof R. Apt,
Amir Pnueli,
Jonathan Stavi:
Fair Termination Revisited-With Delay.
Theor. Comput. Sci. 33: 65-84 (1984) |
| 1983 |
|---|
| 10 | | David Harel,
Amir Pnueli,
Jonathan Stavi:
Propositional Dynamic Logic of Nonregular Programs.
J. Comput. Syst. Sci. 26(2): 222-243 (1983) |
| 9 | | Menachem Magidor,
Saharon Shelah,
Jonathan Stavi:
On the Standard Part of Nonstandard Models of Set Theory.
J. Symb. Log. 48(1): 33-38 (1983) |
| 1981 |
|---|
| 8 | | David Harel,
Amir Pnueli,
Jonathan Stavi:
Propositional Dynamic Logic of Context-Free Programs
FOCS 1981: 310-321 |
| 7 | | Daniel J. Lehmann,
Amir Pnueli,
Jonathan Stavi:
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination.
ICALP 1981: 264-277 |
| 6 | | David Harel,
Amir Pnueli,
Jonathan Stavi:
Further Results on Propositional Dynamic Logic of Nonregular Programs.
Logic of Programs 1981: 124-136 |
| 1980 |
|---|
| 5 | | Dov M. Gabbay,
Amir Pnueli,
Saharon Shelah,
Jonathan Stavi:
On the Temporal Basis of Fairness.
POPL 1980: 163-173 |
| 4 | | Larry M. Manevitz,
Jonathan Stavi:
Triangle 02 Operators and Alternating Sentences in Arithmetic.
J. Symb. Log. 45(1): 144-154 (1980) |
| 1977 |
|---|
| 3 | | David Harel,
Amir Pnueli,
Jonathan Stavi:
A Complete Axiomatic System for Proving Deductions about Recursive Programs
STOC 1977: 249-260 |
| 2 | | Mark E. Nadel,
Jonathan Stavi:
The Pure Part of HYP(M).
J. Symb. Log. 42(1): 33-46 (1977) |
| 1973 |
|---|
| 1 | | Jonathan Stavi:
A Converse of the Barwise Completeness Theorem.
J. Symb. Log. 38(4): 594-612 (1973) |
