Programming Systems Lab: Publications by Andrej Dudenhefner

Saarland University Computer Science

Select author:

2020

Undecidability of Semi-Unification on a Napkin   (pdf)
Andrej Dudenhefner
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Paris, France


Login to edit


Legal notice, Privacy policy