Á lódáil...
Higher-Order Pattern Anti-Unification in Linear Time
We present a rule-based Huet’s style anti-unification algorithm for simply typed lambda-terms, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo [Formula: see text] -equivalence...
Na minha lista:
| Foilsithe in: | J Autom Reason |
|---|---|
| Main Authors: | , , , |
| Formáid: | Artigo |
| Teanga: | Inglês |
| Foilsithe: |
Springer Netherlands
2016
|
| Ábhair: | |
| Rochtain Ar Líne: | https://ncbi.nlm.nih.gov/pmc/articles/PMC6109779/ https://ncbi.nlm.nih.gov/pubmed/30174364 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s10817-016-9383-3 |
| Clibeanna: |
Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!
|