
Search the dblp DataBase
Jonathan Stavi:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi
On the Temporal Basis of Fairness. [Citation Graph (5, 0)][DBLP] POPL, 1980, pp:163173 [Conf]
 David Harel, Amir Pnueli, Jonathan Stavi
Propositional Dynamic Logic of ContextFree Programs [Citation Graph (0, 0)][DBLP] FOCS, 1981, pp:310321 [Conf]
 Daniel J. Lehmann, Amir Pnueli, Jonathan Stavi
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination. [Citation Graph (0, 0)][DBLP] ICALP, 1981, pp:264277 [Conf]
 David Harel, Amir Pnueli, Jonathan Stavi
Further Results on Propositional Dynamic Logic of Nonregular Programs. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1981, pp:124136 [Conf]
 David Harel, Amir Pnueli, Jonathan Stavi
A Complete Axiomatic System for Proving Deductions about Recursive Programs [Citation Graph (0, 0)][DBLP] STOC, 1977, pp:249260 [Conf]
 David Harel, Amir Pnueli, Jonathan Stavi
Propositional Dynamic Logic of Nonregular Programs. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1983, v:26, n:2, pp:222243 [Journal]
 Menachem Magidor, Saharon Shelah, Jonathan Stavi
On the Standard Part of Nonstandard Models of Set Theory. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1983, v:48, n:1, pp:3338 [Journal]
 Larry M. Manevitz, Jonathan Stavi
Triangle ^{0}_{2} Operators and Alternating Sentences in Arithmetic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1980, v:45, n:1, pp:144154 [Journal]
 Mark E. Nadel, Jonathan Stavi
The Pure Part of HYP(M). [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1977, v:42, n:1, pp:3346 [Journal]
 Mark E. Nadel, Jonathan Stavi
On Models of the Elementary Theory of (Z, +, 1). [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1990, v:55, n:1, pp:120 [Journal]
 Jonathan Stavi
A Converse of the Barwise Completeness Theorem. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1973, v:38, n:4, pp:594612 [Journal]
 Krzysztof R. Apt, Amir Pnueli, Jonathan Stavi
Fair Termination RevisitedWith Delay. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1984, v:33, n:, pp:6584 [Journal]
Search in 0.003secs, Finished in 0.004secs
