scientific article; zbMATH DE number 3859085

MaRDI QIDQ3328511zbMATH OpenFDO

Authors

Publication date 1981

zbMATH Keywords

algorithmic logicfull weak second order logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Hybrid Multifluid Algorithms
• Weak logic theory
• scientific article; zbMATH DE number 3892594
• scientific article; zbMATH DE number 3851055
• scientific article; zbMATH DE number 3846863

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