Open AccessEquivalence Problem Solvability in Gateway Program Models
Author(s) -
Р. И. Подловченко,
Андрей Эрикович Молчанов
Publication year - 2014
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2014-2-56-70
Subject(s) - decidability , equivalence (formal languages) , computer science , mathematics , algebraic number , semantic equivalence , theoretical computer science , discrete mathematics , artificial intelligence , mathematical analysis , semantic web , semantic computing