Skip to main content
main-content
Top

Hint

Swipe to navigate through the articles of this issue

Published in: Annals of Mathematics and Artificial Intelligence 5/2022

01-09-2021 | S704: Unification - UNIF 2020

About the unification type of

Authors: Philippe Balbiani, Çiğdem Gencer, Maryam Rostamigiv, Tinko Tinchev

Published in: Annals of Mathematics and Artificial Intelligence | Issue 5/2022

Login to get access
share
SHARE
Metadata
Title
About the unification type of
Authors
Philippe Balbiani
Çiğdem Gencer
Maryam Rostamigiv
Tinko Tinchev
Publication date
01-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-09768-w

Other articles of this Issue 5/2022

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

EditorialNotes

Preface

Premium Partner