scientific article; zbMATH DE number 3791599

zbMATH Open0502.68002MaRDI QIDQ3968451FDOQ3968451

Authors: Marco Bellia 

Publication date: 1982

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

zbMATH Keywords

logical theorieshigher order deductive logic

Mathematics Subject Classification ID

Theory of software (68N99) Abstract data types; algebraic specification (68Q65)

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