Year | DOI | Venue |
---|---|---|
2006 | 10.1305/ndjfl/1153858644 | Notre Dame Journal of Formal Logic |
Keywords | Field | DocType |
computational complexity,logic,native speaker,natural language,theorem proving,complexity | Sparse language,Computer science,Logical possibility,Natural language processing,Artificial intelligence,Transitive relation,Semantic compression,Algorithm,Descriptive complexity theory,Natural language,Linguistics,Semantics,Computational complexity theory | Journal |
Volume | Issue | Citations |
47 | 2 | 15 |
PageRank | References | Authors |
1.25 | 6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ian Pratt-Hartmann | 1 | 347 | 35.43 |
Allan Third | 2 | 107 | 12.38 |