scientific article
From MaRDI portal
Publication:2767012
zbMath0988.68163MaRDI QIDQ2767012
Christian G. Fermüller, Georg Moser
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Representing and building models for decidable subclasses of equational clausal logic ⋮ Constructing Bachmair-Ganzinger Models ⋮ A Resolution-based Model Building Algorithm for a Fragment of OCC1N =
Uses Software
This page was built for publication:
