Christian Schulte. Entwurf und Implementierung eines übersetzenden Systems für das intuitionistische logische Programmieren auf der Warren Abstract Machine. Master's thesis, Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme, 1991.
@mastersthesis{Schulte92, title = {Entwurf und Implementierung eines übersetzenden Systems für das intuitionistische logische Programmieren auf der Warren Abstract Machine}, author = {Christian Schulte}, year = {1991}, tags = {abstract machine}, researchr = {https://researchr.org/publication/Schulte92}, cites = {0}, citedby = {0}, school = {Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme}, }