|
Search the dblp DataBase
Jonathan Stavi:
[Publications]
[Author Rank by year]
[Co-authors]
[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:163-173 [Conf]
- David Harel, Amir Pnueli, Jonathan Stavi
Propositional Dynamic Logic of Context-Free Programs [Citation Graph (0, 0)][DBLP] FOCS, 1981, pp:310-321 [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:264-277 [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:124-136 [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:249-260 [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:222-243 [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:33-38 [Journal]
- Larry M. Manevitz, Jonathan Stavi
Triangle 02 Operators and Alternating Sentences in Arithmetic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1980, v:45, n:1, pp:144-154 [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:33-46 [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:1-20 [Journal]
- Jonathan Stavi
A Converse of the Barwise Completeness Theorem. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1973, v:38, n:4, pp:594-612 [Journal]
- Krzysztof R. Apt, Amir Pnueli, Jonathan Stavi
Fair Termination Revisited-With Delay. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1984, v:33, n:, pp:65-84 [Journal]
Search in 0.003secs, Finished in 0.004secs
|