• DocumentCode
    2037772
  • 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
  • Volume
    1
  • fYear
    1993
  • fDate
    19-21 Oct. 1993
  • Firstpage
    456
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/TENCON.1993.320025
  • Filename
    320025
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2037772