scientific article; zbMATH DE number 1086681

zbMATH Open0881.03034MaRDI QIDQ4362932

Anton Setzer

Publication date: 13 November 1997

Title of this publication is not available (Why is that?)

zbMATH Keywords

constructive proofsextraction of programs from classical proofstype theory for infinitely branching trees

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Proof theory and constructive mathematics (03F99)

Related Items (1)

Decidability results for sets with atoms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4362932)