Cardiovascular Center Frankfurt

most citedNominal Unification and Matching of Higher Order Expressions with Recursive Let

5 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

A. Widl1 · h 4
Bo Liu1 · h 4
D. Vnucec1 · h 5
Haofan Lu1 · h 2
H. Stoecker1 · h 15
Jiahui Fu1 · h 2
Jordi Levy1 · h 26
Kai Zhou1 · h 4
Mateu Villaret1 · h 18
M. Schmidt-Schauß1 · h 25
Nadine Wetzstein1 · h 4
Ningtao Liu1 · h 4

collaborating institutions

Goethe University FrankfurtDE2 papers
Artificial Intelligence Research InstituteES1 paper
Henan University of Science and TechnologyCN1 paper
Luoyang Institute of Science and TechnologyCN1 paper
MTA-SZTE Research Group on Artificial IntelligenceHU1 paper
RISC Software (Austria)AT1 paper
Shenzhen UniversityCN1 paper
Universitat de GironaES1 paper
University of Hong KongHK1 paper
Xidian UniversityCN1 paper

Showing cs.LOShow all

1 paper · 1 filter

cs.LO2021★ 5 cited

Nominal Unification and Matching of Higher Order Expressions with Recursive Let

Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy +2

A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in nondeterministic polynomial time. We also…