|
[2021]
|
Manfred
Schmidt-Schauß and
Yunus
Kutz.
Nominal unification with letrec and environment-variables.
In Maribel Fernández, editor, Logic-Based Program Synthesis
and Transformation, pages 95--112, Cham, 2021. Springer International
Publishing.
[ bib |
DOI ]
|
|
[2020]
|
Yunus
Kutz and
Manfred
Schmidt-Schauß.
Rewriting with generalized nominal unification.
Mathematical Structures in Computer Science, pages 1--26, 2020.
[ bib |
DOI |
PDF ]
|
|
[2019]
|
Yunus
Kutz and
Manfred
Schmidt-Schauß.
Rewriting with generalized nominal unification.
Frank
report 63, Institut für Informatik, Goethe-Universität Frankfurt am
Main, October 2019.
[ bib |
PDF ]
|
|
[2019]
|
Manfred
Schmidt-Schauß, Temur Kutsia, Jordy Levy, Mateu Villaret, and
Yunus
Kutz.
Nominal unification of higher order expressions with recursive let.
Frank
report 62, Institut für Informatik, Goethe-Universität Frankfurt am
Main, October 2019.
[ bib |
PDF ]
|
|
[2018]
|
Manfred
Schmidt-Schauß,
David
Sabel, and
Yunus
Kutz.
Nominal unification with atom-variables.
Journal of Symbolic Computation, 2018.
[ bib |
DOI ]
|
This file was generated by
bibtex2html 1.99.
|