SubIndex on PROOFS (BibTex)
Click on the desired item or article for more information.- Li,M; Vitanyi,PMB; 1992, Philosophical Issues in Kolmogorov Complexity, Lecture Notes in Computer Science, 623, 1-15
- Girard,JY; 1987, Linear Logic, Theoretical Computer Science, 50, 1-102
- Celluci,C; 1985, Proof Theory and Complexity, Synthese, 62, 173-189
| Top | Authors | Journals | Years | Keywords | Search | New | Comments |
Bruce Edmonds, Centre for Policy Modelling, Manchester Metropolitan University