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

Search the dblp DataBase

Title:
Author:
Wilfrid Hodges: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wilfrid Hodges
    Detecting the Logical Content: Burley's 'Purity of Logic'. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (2), 2005, pp:69-116 [Conf]
  2. Wilfrid Hodges
    International Copyright and Mathematics. [Citation Graph (0, 0)][DBLP]
    Electronic Information and Communication in Mathematics, 2002, pp:72-86 [Conf]
  3. Wilfrid Hodges
    What languages have Tarski truth definitions? [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:126, n:1-3, pp:93-113 [Journal]
  4. Wilfrid Hodges
    An editor recalls some hopeless papers. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1998, v:4, n:1, pp:1-16 [Journal]
  5. Wilfrid Hodges
    Compositional Semantics for a Language of Imperfect Information. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1997, v:5, n:4, pp:- [Journal]
  6. Wilfrid Hodges
    Formal Features of Compositionality. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2001, v:10, n:1, pp:7-28 [Journal]
  7. Wilfrid Hodges
    Jaakko Hintikka, The Principles of Mathematics Revisited [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:4, pp:457-460 [Journal]
  8. Peter J. Cameron, Wilfrid Hodges
    Some Combinatorics of Imperfect Information. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:673-684 [Journal]
  9. John Doner, Wilfrid Hodges
    Alfred Tarski and Decidable Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:20-35 [Journal]
  10. Wilfrid Hodges
    On Order-Types of Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:69-70 [Journal]
  11. Wilfrid Hodges
    Constructing Pure Injective Hulls. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:3, pp:544-548 [Journal]
  12. Wilfrid Hodges
    Alfred Tarski. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:4, pp:866-868 [Journal]
  13. Wilfrid Hodges, Wilfried Sieg
    A Symposium on Hilbert's Program. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:337- [Journal]
  14. Wilfrid Hodges
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:6, pp:757-759 [Journal]
  15. Wilfrid Hodges
    The Laws of Distribution for Syllogisms. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:2, pp:221-230 [Journal]

  16. Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic. [Citation Graph (, )][DBLP]


  17. Relative categoricity in abelian groups II. [Citation Graph (, )][DBLP]


  18. Dependence of variables construed as an atomic formula. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
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