Jonathan Stavi

	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)

Coauthor Index

1	Krzysztof R. Apt	[11]
2	Dov M. Gabbay	[5]
3	David Harel	[3] [6] [8] [10]
4	Daniel J. Lehmann	[7]
5	Menachem Magidor	[9]
6	Larry M. Manevitz (Larry Michael Manevitz)	[4]
7	Mark E. Nadel	[2] [12]
8	Amir Pnueli	[3] [5] [6] [7] [8] [10] [11]
9	Saharon Shelah	[5] [9]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page