IEEE - Institute of Electrical and Electronics Engineers, Inc. - Solving equations and inequations in term algebras with selectors

Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation

Author(s): S. Oberoi ; G. Nagaraja
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Beijing, China, China
Conference Date: 19 October 1993
Volume: 1
Page Count: 4
ISBN (Paper): 0-7803-1233-3
DOI: 10.1109/TENCON.1993.320025
Regular:

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... View More

Advertisement