Relative Termination via Dependency Pairs

Overview of attention for article published in Journal of Automated Reasoning, April 2016

Altmetric Badge

Mentioned by

twitter: 1 X user

Readers on

mendeley: 7 Mendeley

So far, Altmetric has seen 1 X post from an account with 1,904 followers.

Just published our article "Relative Termination via Dependency Pairs" with #Springer https://t.co/sUJk7jC6IY vía @AuthorZone

Reply Repost Favourite