CLP( R) and some electrical engineering problems

DOI10.1007/BF00245462MaRDI QIDQ688564zbMATHOpenAlexFDO

Authors Nevin Heintze, Spiro Michaylov, Peter J. Stuckey

Publication date 20 December 1993

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00245462

Mathematics Subject Classification ID

Logic programming (68N17) Analytic circuit theory (94C05)

Cites work

• scientific article; zbMATH DE number 3858920 (Why is no real title available?)
• scientific article; zbMATH DE number 4047089 (Why is no real title available?)
• A constraint language and its interpreter

Cited in

(2)

• Simulation of hybrid circuits in constraint logic programming
• Constraint reasoning based on interval arithmetic: The tolerance propagation approach

Describes a project that uses

Uses Software

• REDUCE
• STAPL
• MACSYMA
• CHIP

This page was built for publication: CLP\(({\mathfrak R})\) and some electrical engineering problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688564)