Concepedia

The Undecidability of the Semi-unification Problem

A. J. Kfoury, Jerzy Tiuryn, Paweł Urzyczyn

Information and Computation · 1993 · 59 citations · 0 references

Concepts

ComputingComputer ScienceAlgorithmsFormal MethodsKnowledge RepresentationDeductive VerificationEquivalence CheckingFormal Language FoundationsModel TheoryPredicate LogicType SystemsDecidability ProblemsUndecidabilityUnification