scientific article; zbMATH DE number 176533

MaRDI QIDQ4035699zbMATH OpenFDO

Authors Rudolf Berghammer, Gunther Schmidt

Publication date 18 May 1993

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Symbolic computation and algebraic computation (68W30)

Cited in

(2)

• Solving quantifier-free first-order constraints over finite sets and binary relations
• Multirelations with infinite computations

Describes a project that uses

Uses Software

• RelView

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