243 followers
Reducing Relative Termination to Dependency Pair Problems. - José Iborra, Naoki Nishida, Germán Vidal, Akihisa… http://t.co/CBpdCVC4tx
Reducing Relative Termination to Dependency Pair Problems. - José Iborra, Naoki Nishida, Germán Vidal, Akihisa… http://t.co/CBpdCVC4tx