Search for Topics All Reviews
	Browse All Reviews > Computing Methodologies (I) > Symbolic and Algebraic Manipulation (I.1) > Languages And Systems (I.1.3) > Substitution Mechanisms (I.1.3...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-1 of 1 Reviews about "Substitution Mechanisms (I.1.3...)": Date Reviewed   Properties of substitutions and unifications Eder E. Journal of Symbolic Computation 1(1): 31-46, 1985.  Type: Article A substitution in a first-order theory, Th, is a function, &sgr; : V → T, where V is the set of variables and T the set of terms of Th. &sgr; is a unifier of &am... Dec 1 1986
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy