« Home

Person. Tomer Libal [tomerlibal]

  • Research Scientist
  • University of Luxembourg
  • 0000-0003-3261-0180
  • https://tomer.libal.info

Related

    Institution. University of Luxembourg [unilux]

    • Luxembourg
    • https://uni.lu/en

    Contributions

      Reference. Functions-as-constructors higher-order unification [libal-miller-2021]

      • September 30, 2021
      • Tomer Libal, Dale Miller
      • Annals of Mathematics and Artificial Intelligence, Volume 90
      • 10.1007/s10472-021-09774-y