In addition to the technically required cookies, our website also uses cookies for statistical evaluation. You can also use the website without these cookies. By clicking on "I agree" you agree that we may set cookies for analysis purposes. You can see and change your cookie settings here.
Proof theory and the synthesis of programs: Potential and limitations
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.
