Skip to main content
main-content
Top

Hint

Swipe to navigate through the articles of this issue

Metadata
Title
Functions-as-constructors higher-order unification: extended pattern unification
Authors
Tomer Libal
Dale Miller
Publication date
30-09-2021
Publisher
Springer International Publishing
Published in
Annals of Mathematics and Artificial Intelligence / Issue 5/2022
Print ISSN: 1012-2443
Electronic ISSN: 1573-7470
DOI
https://doi.org/10.1007/s10472-021-09774-y

Other articles of this Issue 5/2022

Annals of Mathematics and Artificial Intelligence 5/2022 Go to the issue

S704: Unification - UNIF 2020

About the unification type of

EditorialNotes

Preface

Premium Partner