John W. Rosenthal

List of publications from the DBLP Bibliography Server - FAQ

2002

6 L. R. Galminas, John W. Rosenthal: More Undecidable Lattices of Steinitz Exchange Systems. J. Symb. Log. 67(2): 859-878 (2002)

1992

5 John W. Rosenthal, Ewald Speckenmeyer, Rainer Kemp: Exact Satisfiability, a Natural Extension of Set Partition and Its Average Case Behavior. Ann. Math. Artif. Intell. 6(1-3): 185-200 (1992)

4 John W. Rosenthal: The Expected Complexity of Analytic Tableaux Analyses in Propositional Calculus - II. Ann. Math. Artif. Intell. 6(1-3): 201-234 (1992)

1990

3 Menachem Magidor, John W. Rosenthal, Mattiyahu Rubin, Gabriel Srour: Some Highly Undecidable Lattices. Ann. Pure Appl. Logic 46(1): 41-63 (1990)

1980

2 Christopher J. Ash, John W. Rosenthal: Some Theories Associated with Algebraically Closed Fields. J. Symb. Log. 45(2): 359-362 (1980)

1972

1 John W. Rosenthal: A New Proof of a Theorem of Shelah. J. Symb. Log. 37(1): 133-134 (1972)

2002
6		L. R. Galminas, John W. Rosenthal: More Undecidable Lattices of Steinitz Exchange Systems. J. Symb. Log. 67(2): 859-878 (2002)
1992
5		John W. Rosenthal, Ewald Speckenmeyer, Rainer Kemp: Exact Satisfiability, a Natural Extension of Set Partition and Its Average Case Behavior. Ann. Math. Artif. Intell. 6(1-3): 185-200 (1992)
4		John W. Rosenthal: The Expected Complexity of Analytic Tableaux Analyses in Propositional Calculus - II. Ann. Math. Artif. Intell. 6(1-3): 201-234 (1992)
1990
3		Menachem Magidor, John W. Rosenthal, Mattiyahu Rubin, Gabriel Srour: Some Highly Undecidable Lattices. Ann. Pure Appl. Logic 46(1): 41-63 (1990)
1980
2		Christopher J. Ash, John W. Rosenthal: Some Theories Associated with Algebraically Closed Fields. J. Symb. Log. 45(2): 359-362 (1980)
1972
1		John W. Rosenthal: A New Proof of a Theorem of Shelah. J. Symb. Log. 37(1): 133-134 (1972)

Coauthor Index