Abstract | ||
---|---|---|
Without Abstract |
Year | DOI | Venue |
---|---|---|
1995 | 10.1007/3-540-61780-9_73 | TYPES |
Keywords | Field | DocType |
mathematical text,context-relative syntactic categories | Noun phrase,Discrete mathematics,Computer science,Type theory,Abstract syntax tree,Grammar,Mathematical proof,Natural language processing,Artificial intelligence,Language of mathematics,Syntactic category,Syntax | Conference |
Volume | ISSN | ISBN |
1158 | 0302-9743 | 3-540-61780-9 |
Citations | PageRank | References |
3 | 0.63 | 4 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Aarne Ranta | 1 | 316 | 36.02 |