scientific article; zbMATH DE number 139760

MaRDI QIDQ4028090zbMATH OpenFDO

Authors Josh Tenenberg

Publication date 28 March 1993

zbMATH Keywords

abstractioninheritance (ISA) hierarchies

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)

Recommendations

• scientific article; zbMATH DE number 4164177
• A theory of abstraction
• Publication:3493291
• scientific article; zbMATH DE number 4166913
• Constructing predicate mappings for goal-dependent abstraction

Cited in

(11)

• The inevitability of inconsistent abstract spaces
• scientific article; zbMATH DE number 1301853 (Why is no real title available?)
• scientific article; zbMATH DE number 4164177 (Why is no real title available?)
• Data abstractions for decision tree induction
• Prime factorizations of abstract domains using first-order logic
• scientific article; zbMATH DE number 67476 (Why is no real title available?)
• First order theories for partial models
• Bases for first-order theories and subtheories
• A theory of abstraction
• An abstraction-refinement framework for reasoning with large theories
• First-order abduction as enumeration of stable 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 Q4028090)