James Emil Avery
Visiting researcher
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0001-7772-3440
1 - 1 out of 1Page size: 10
- 2006
- Published
Size-change termination and bound analysis
Avery, James Emil, 2006, Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings. Hagiya, M. & Wadler, P. (eds.). Springer, p. 192-207 16 p. (Lecture notes in computer science, Vol. 3945).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 2819
Most downloads
-
406
downloads
The topology of fullerenes
Research output: Contribution to journal › Journal article › peer-review
Published -
166
downloads
Naming polyhedra by general face-spirals: theory and applications to fullerenes and other polyhedral molecules
Research output: Contribution to journal › Journal article › peer-review
Published -
130
downloads
Quantum chemistry with Coulomb Sturmians: Construction and convergence of Coulomb Sturmian basis sets at the Hartree-Fock level
Research output: Contribution to journal › Journal article › peer-review
Published