scientific article; zbMATH DE number 176533

zbMATH Open0800.68963MaRDI QIDQ4035699FDOQ4035699

Authors: Rudolf Berghammer, Gunther Schmidt 

Publication date: 18 May 1993

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

Mathematics Subject Classification ID

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

Cited In (2)

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

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)