Grigori Mints and computer science

MaRDI QIDQ3001109zbMATH OpenFDO

Authors É. Kh. Tyugu

Publication date 31 May 2011

zbMATH Keywords

intuitionistic propositional logicPRIZ systemprogram synthesissemantics of specification languagesstructural synthesistype inference

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Logic in computer science (03B70) History of computer science (68-03)

Recommendations

• scientific article; zbMATH DE number 3845028
• Efficient program synthesis: semantics, logic, complexity
• scientific article; zbMATH DE number 3892570
• scientific article; zbMATH DE number 3934387
• Exploring Computational Contents of Intuitionist Proofs

Cited in

(1)

• scientific article; zbMATH DE number 6261990 (Why is no real title available?)

This page was built for publication: Grigori Mints and computer science

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