• DocumentCode
    3783508
  • Title

    On the decidability of restriction in the partial lambda calculus

  • Author

    S. Gaborovic

  • Author_Institution
    Fac. Civil Eng., Maribor, Slovenia
  • fYear
    2000
  • Firstpage
    417
  • Lastpage
    422
  • Abstract
    Using the term rewriting technique we give a new proof of decidability of the theory of restriction in the partial lambda calculus.
  • Keywords
    "Calculus","Equations","Information technology","Reactive power"
  • Publisher
    ieee
  • Conference_Titel
    Information Technology Interfaces, 2000. ITI 2000. Proceedings of the 22nd International Conference on
  • ISSN
    1330-1012
  • Print_ISBN
    953-96769-1-6
  • Type

    conf

  • Filename
    915981
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3783508