 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [1]
|
Hilfe 
|
 |
|
| Suche: Author="Abdul Rauf, Rose H." |
|
A provably correct translation of the \lambda-calculus into a mathematical model of C++
Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer
Theory of Computing Systems 43 (3-4), 2008, pp. 298-321
| Editors | Alan L. Selman | |
| Publisher: | Springer-Verlag | |
| Address: | New York | |
| URL: |
http://springerlink.metapress.com/content/b6ul067104505632/fulltext.pdf | |
| Note: | formerly Mathematical Systems Theory | |
|
|
|
|