Auf unserer Webseite werden neben den technisch erforderlichen Cookies noch Cookies zur statistischen Auswertung gesetzt. Sie können die Website auch ohne diese Cookies nutzen. Durch Klicken auf „Ich stimme zu“ erklären Sie sich einverstanden, dass wir Cookies zu Analyse-Zwecken setzen. Sie können Ihre Cookie-Einstellungen hier einsehen und ändern.
Proof theory and the synthesis of programs: Potential and limitations
Anmelden
Um Merklisten nutzen zu können, müssen Sie sich zunächst anmelden.
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
1985
Enthält: eine Kopie des Artikels "Proof theory and the synthesis of programs: Potential and limitations" aus: EUROCAL '85: European Conference on Computer Algebra, Linz, Austria, April 1-3 1985, Proceedings Vol. 1: Invited Lectures, hg. v. B. Buchberger, Berlin 1985 sowie ein Typoskript, das wohl die Druckvorlage für die Publikation war.
