algebra algorithmanalysisandproblemcomplexity artificialintelligence bioinformatics compilers computationalbiology/bioinformatics computationalcomplexity computationalmathematicsandnumericalanalysis computationbyabstractdevices computercommunicationnetworks computernetworks computerscience computersoftware computingmethodologies congresses databasemanagement dataprocessing dataprotection datastructures datastructures(computerscience) discretemathematicsincomputerscience electronicdataprocessing historyofcomputing informationorganization informationretrieval informationstorageandretrieval informationstorageandretrievalsystems informationtheory interpreters logicdesign logicsandmeaningsofprograms mathapplicationsincomputerscience mathematics mathematicsofcomputing opticalpatternrecognition patternperception probabilityandstatisticsincomputerscience programminglanguages programmingtechniques q334-342 socialsciences softwareengineering symbolicandalgebraicmanipulation systemsanddatasecurity theoryofcomputation