scientific article
From MaRDI portal
Publication:3804235
zbMath0656.68102MaRDI QIDQ3804235
Karl Hans Bläsius, Jörg H. Siekmann
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
A resolution principle for constrained logics ⋮ Unification theory ⋮ Conditional equational theories and complete sets of transformations
This page was built for publication: