Skip to main content
main-content
Top

Hint

Swipe to navigate through the articles of this issue

Metadata
Title
Order-sorted equational generalization algorithm revisited
Authors
María Alpuente
Santiago Escobar
José Meseguer
Julia Sapiña
Publication date
01-05-2022
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-09771-1

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