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