scientific article; zbMATH DE number 1346494
From MaRDI portal
Publication:4266517
zbMath0925.03059MaRDI QIDQ4266517
Publication date: 4 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Logic programming (68N17) Equational classes, universal algebra in model theory (03C05)
Related Items (6)
An algorithm for distributive unification ⋮ Extensions of unification modulo ACUI ⋮ Solving equations with sequence variables and sequence functions ⋮ Combination techniques and decision problems for disunification ⋮ Combination techniques and decision problems for disunification ⋮ A decision algorithm for distributive unification
This page was built for publication:
