Some memories from mid-late 90s and how having Andrei as my PhD advisor impacted my life

Title:Some memories from mid-late 90s and how having Andrei as my PhD advisor impacted my life

Conference:ANDREI-60

Tags:Rigid E-Unification, Rigid Reachability and SREU

Abstract:

Looking back at the time when SREU was proved undecidable and how this triggered a line of followup research.