Login / Signup
Mehdi Seyed Salehi
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Function Free Horn
Transitive Closure
Multi Lingual
Search Algorithm
Top Venues
FSTTCS
</>
Publications
</>
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
Roland Meyer
,
Mehdi Seyed Salehi
What's Decidable about Availability Languages?.
FSTTCS
(2015)