The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Jon Barwise: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jon Barwise
    Heterogeneous Reasoning. [Citation Graph (0, 0)][DBLP]
    ICCS, 1993, pp:64-74 [Conf]
  2. Jon Barwise, Jerry Seligman
    Imperfect information flow [Citation Graph (0, 0)][DBLP]
    LICS, 1993, pp:252-260 [Conf]
  3. Jon Barwise
    Information Links in Domain Theory. [Citation Graph (0, 0)][DBLP]
    MFPS, 1991, pp:168-192 [Conf]
  4. Jon Barwise
    Hyperproof: An Excursion in Situated Logic. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:779-787 [Conf]
  5. Jon Barwise
    Three Views of Common Knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 1988, pp:365-379 [Conf]
  6. Jon Barwise
    An Architecture for Heterogeneous Reasoning (Invited Talk). [Citation Graph (0, 0)][DBLP]
    TARK, 1998, pp:1-14 [Conf]
  7. John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, Yiannis N. Moschovakis
    The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:3, pp:469-480 [Journal]
  8. Jon Barwise
    Infinitary Logic and Admissible Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:226-252 [Journal]
  9. Jon Barwise
    Applications of Strict Pi11 Predicates to Infinitary Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:3, pp:409-423 [Journal]
  10. Jon Barwise
    On Moschovakis Closure Ordinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:292-296 [Journal]
  11. Jon Barwise, Johan van Benthem
    Interpolation, Preservation, and Pebble Games. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:881-903 [Journal]
  12. Jon Barwise, Solomon Feferman, David Israel
    Meeting of the Association for Symbolic Logic: Stanford, California, 1985. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:3, pp:832-862 [Journal]
  13. Jon Barwise, Kenneth Kunen, Joseph S. Ullian
    Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1978, v:43, n:2, pp:365-372 [Journal]
  14. Jon Barwise, Yiannis N. Moschovakis
    Global Inductive Definability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1978, v:43, n:3, pp:521-534 [Journal]
  15. Jon Barwise, John S. Schlipf
    An Introduction to Recursively Saturated and Resplendent Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:531-536 [Journal]
  16. Jon Barwise, Robert I. Soare, Terrence Millar
    Meeting of the Association for Symbolic Logic: Milwaukee, 1981. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:2, pp:514-518 [Journal]
  17. Jon Barwise, Robert L. Vaught, Yiannis N. Moschovakis
    Meeting of the Association for Symbolic Logic: San Francisco, 1981. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:2, pp:505-513 [Journal]
  18. Solomon Feferman, Jon Barwise, Leo Harrington
    Meeting of the Association for Symbolic Logic: Reno, 1976. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:1, pp:156-160 [Journal]
  19. Jon Barwise
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:2, pp:113-114 [Journal]
  20. Jon Barwise
    Information and Impossibilities. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1997, v:38, n:4, pp:488-515 [Journal]

Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002