Unification: nothing but the solution of a system of linear equations

Authors:
Andrés Bujosa;Regino Criado;Miguel A. Hernandez-Medina
Affiliations:
-;-;-
Venue:
Fundamenta Informaticae
Year:
1997

Citing 0
Cited 2

Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings

FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
A geometric interpretation of LD-resolution

Theoretical Computer Science - Logic, semantics and theory of programming

Quantified Score

Hi-index	0.00

Visualization

Abstract