Higher-Order Pattern Anti-Univication in Linear Time

Alexander Baumgartner, Teimuraz Kutsia, Jordi Levy, Mateu Villaret

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	293-310
Number of pages	18
Journal	Journal of Automated Reasoning
Volume	58
Issue number	2
DOIs	https://doi.org/10.1007/s10817-016-9383-3
Publication status	Published - 2017

Fields of science

@article{b09704079d7c487cbcf40a7bf68ab35e,

title = "Higher-Order Pattern Anti-Univication in Linear Time",

author = "Alexander Baumgartner and Teimuraz Kutsia and Jordi Levy and Mateu Villaret",

year = "2017",

doi = "10.1007/s10817-016-9383-3",

language = "English",

volume = "58",

pages = "293--310",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Higher-Order Pattern Anti-Univication in Linear Time

AU - Baumgartner, Alexander

AU - Kutsia, Teimuraz

AU - Levy, Jordi

AU - Villaret, Mateu

PY - 2017

Y1 - 2017

U2 - 10.1007/s10817-016-9383-3

DO - 10.1007/s10817-016-9383-3

M3 - Article

SN - 0168-7433

VL - 58

SP - 293

EP - 310

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

IS - 2

ER -