scientific article; zbMATH DE number 3819101

MaRDI QIDQ3666280zbMATH OpenFDO

Authors G. E. Mints, É. Kh. Tyugu

Publication date 1982

zbMATH Keywords

calculus of natural deductioncompleteness theoremstructural synthesis rules

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited in

(2)

• Type-theoretical semantics of some declarative languages
• Synthesis of parallel recursive programs in structural functional models

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 Q3666280)