scientific article; zbMATH DE number 1341620

zbMATH Open0941.68123MaRDI QIDQ4263169FDOQ4263169

Authors: M. Fuchs, Dirk Fuchs 

Publication date: 22 September 1999

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

Recommendations

• A relevance restriction strategy for automated deduction
• scientific article; zbMATH DE number 4164177
• Lightweight relevance filtering for machine-generated resolution problems
• SETHEO goes software engineering: application of ATP to software reuse
• Generating relevant models

zbMATH Keywords

formal software verificationsymbol abstractions

Mathematics Subject Classification ID

Cited In (5)

• Logic for Programming, Artificial Intelligence, and Reasoning
• Title not available (Why is that?)
• Lightweight relevance filtering for machine-generated resolution problems
• An abstraction-refinement framework for reasoning with large theories
• A relevance restriction strategy for automated deduction

Uses Software

• SETHEO

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