Name
Title | ||
|---|---|---|
COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings |
Year | Venue | DocType |
|---|---|---|
1990 | Conference on Computer Logic | Conference |
Volume | ISBN | Citations |
417 | isbn | 21 |
PageRank | References | Authors |
23.55 | 0 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Per Martin-Löf | 1 | 45 | 28.69 |
| Grigori Mints | 2 | 235 | 72.76 |