Skip to main content
main-content

Tipp

Weitere Artikel dieser Ausgabe durch Wischen aufrufen

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

01.05.2022

Order-sorted equational generalization algorithm revisited

verfasst von: María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña

Erschienen in: Annals of Mathematics and Artificial Intelligence | Ausgabe 5/2022

Einloggen, um Zugang zu erhalten
share
TEILEN
Metadaten
Titel
Order-sorted equational generalization algorithm revisited
verfasst von
María Alpuente
Santiago Escobar
José Meseguer
Julia Sapiña
Publikationsdatum
01.05.2022
Verlag
Springer International Publishing
Erschienen in
Annals of Mathematics and Artificial Intelligence / Ausgabe 5/2022
Print ISSN: 1012-2443
Elektronische ISSN: 1573-7470
DOI
https://doi.org/10.1007/s10472-021-09771-1

Weitere Artikel der Ausgabe 5/2022

Annals of Mathematics and Artificial Intelligence 5/2022 Zur Ausgabe

EditorialNotes

Preface

S704: Unification - UNIF 2020

About the unification type of

Premium Partner