scientific article; zbMATH DE number 3898209

MaRDI QIDQ3677149zbMATH OpenFDO

Authors Johann A. Makowsky

Publication date 1985

zbMATH Keywords

abstract data typesArmstrong relationsgeneric examplesHorn formulasinitial structures

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05)

Recommendations

• Publication:4205083
• Deterministic and nondeterministic computation, and horn programs, on abstract data types
• scientific article; zbMATH DE number 1873279
• Characterization results for d-Horn formulas, or on formulas that are true on dual reduced products
• Foreword

Cited in

(7)

• On the existence of free models in abstract algebraic institutions
• Quasi-varieties in abstract algebraic institutions
• On the expressive power of data dependencies
• A sound and complete semantics for a version of negation as failure
• A general Lindström theorem for some normal modal logics
• My writing
• Theories with the independence property

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