EasyChair Smart SlideDocs/Log in
Title:Some memories from mid-late 90s and how having Andrei as my PhD advisor impacted my life
Authors:Margus Veanes
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.

 
Some memories from mid-late 90s and how having Andrei as my PhD advisor impacted my life
 
1
2
3
4
5
6
7
8
9
10
11
12
1of12
1
2
3
4
Copyright © 2002 – 2024 EasyChair