Premium
A note on the decidability of mls extended with the powerset operator
Author(s) -
Ferro A.
Publication year - 1985
Publication title -
communications on pure and applied mathematics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 3.12
H-Index - 115
eISSN - 1097-0312
pISSN - 0010-3640
DOI - 10.1002/cpa.3160380403
Subject(s) - decidability , operator (biology) , citation , computer science , calculus (dental) , mathematics , linguistics , arithmetic , discrete mathematics , algebra over a field , library science , pure mathematics , philosophy , medicine , biochemistry , chemistry , dentistry , repressor , transcription factor , gene