« Home

Journal. Annals of Mathematics and Artificial Intelligence [amai]

  • https://link.springer.com/journal/10472

Backlinks

    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