SubIndex on ARITHMETIC (BibTex)
Click on the desired item or article for more information.- Cohen,DE; Madlener,K; Otto,F; 1993, Seperating the Intrinsic Complexity and the Derivational Complexity of the Word Problem for Finitely Presented Groups, Mathematical Logic Quarterly, 39, 143-157
- Girard,JY; 1987, Proof Theory and Logical Complexity, Bibliopolis, Naples
| Top | Authors | Journals | Years | Keywords | Search | New | Comments |
Bruce Edmonds, Centre for Policy Modelling, Manchester Metropolitan University