Login / Signup
What's Decidable about Availability Languages?.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Roland Meyer
Mehdi Seyed Salehi
Published in:
FSTTCS (2015)
Keyphrases
</>
expressive power
first order logic
language independent
cross lingual
description languages
data sets
relational databases
transitive closure
multi lingual
search algorithm
knowledge representation
computational power
function free horn