450 followers
RT @verif_papers: Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions. - Amir M. Ben-Amram, Samir Genaim http://t.co/msb8fCiy…
RT @verif_papers: Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions. - Amir M. Ben-Amram, Samir Genaim http://t.co/msb8fCiy…
Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions. - Amir M. Ben-Amram, Samir Genaim http://t.co/msb8fCiyhz