Title :
Solving equations and inequations in term algebras with selectors
Author :
Oberoi, S. ; Nagaraja, G.
Author_Institution :
Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Bombay, India
Abstract :
We address the problem of handling selector functions in solving equations and inequations over trees. We introduce a selector elimination transform and show how Colmerauer´s method (1984) can be used with this transform.<>
Keywords :
algebra; trees (mathematics); selector elimination transform; selector functions; selectors; term algebras; trees; Algebra; Computer science; Equations; Transforms;
Conference_Titel :
TENCON '93. Proceedings. Computer, Communication, Control and Power Engineering.1993 IEEE Region 10 Conference on
Conference_Location :
Beijing, China
Print_ISBN :
0-7803-1233-3
DOI :
10.1109/TENCON.1993.320025
