Entwurf und Implementierung eines übersetzenden Systems für das intuitionistische logische Programmieren auf der Warren Abstract Machine - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Christian Schulte' in Google

runs on WebDSL