scientific article

zbMATH Open0612.68079MaRDI QIDQ3753517

Hans Jürgen Ohlbach

Publication date: 1986

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

zbMATH Keywords

unification algorithmabstract clause graphs

Mathematics Subject Classification ID

Related Items (2)

Title not available (Why is that?) ⋮ Layered clause selection for theory reasoning (short paper)

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