LICS 1996 Symposium on Logic in Computer Science
 |  |
Wall of Fame | Most Viewed LICS-1996 Paper
LICS
1996
IEEE
13 years 9 months ago
1996
IEEE
In this note, we prove that having unique head-normal forms is a sufficient condition on partial combinatory algebras to be completable. As application,we show that the pca of str...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website.
Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
| Id | Read | Views | Title | Status |
|---|---|---|---|---|
| 1 |  | 154 | ||
| 2 | | 145 | ||
| 3 | | 125 | ||
| 4 | | 124 | ||
| 5 | | 121 | ||
| 6 | | 106 | ||
| 7 | | 102 | ||
| 8 | | 99 | ||
| 9 | | 96 | ||
| 10 | | 95 | ||
| 11 | | 93 | ||
| 12 | | 91 |