Large-Size Message Construction for ETI, Non-Deterministic Typing and Symbolic Computation in LINCOS
- Paper number
IAC-04-IAA.1.1.2.07
- Author
Dr. Alexander Ollongren, Leiden University, The Netherlands
- Year
2004
- Abstract document
- Manuscript document
IAC-04-IAA.1.1.2.07.pdf (🔒 authorized access only).
To get the manuscript, please contact IAF Secretariat.