scientific article; zbMATH DE number 139760

zbMATH Open0760.68066MaRDI QIDQ4028090FDOQ4028090

Authors: Josh Tenenberg 

Publication date: 28 March 1993

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

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

zbMATH Keywords

abstractioninheritance (ISA) hierarchies

Mathematics Subject Classification ID

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

Cited In (11)

• Prime factorizations of abstract domains using first-order logic
• Data abstractions for decision tree induction
• Bases for first-order theories and subtheories
• Title not available (Why is that?)
• An abstraction-refinement framework for reasoning with large theories
• First-order abduction as enumeration of stable models
• Title not available (Why is that?)
• The inevitability of inconsistent abstract spaces
• A theory of abstraction
• Title not available (Why is that?)
• First order theories for partial 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)