Parosh Aziz Abdulla

Subjects

Computer networks, Computer science, Logic design, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software engineering, Algorithm Analysis and Problem Complexity, Artificial Intelligence (incl. Robotics), Artificial intelligence, Coding and Information Theory, Coding theory, Computation by Abstract Devices, Computer Communication Networks, Computer science, mathematics, Computer simulation, Computer software, Computer systems, Computers, Configurations, Congresses, Decidability (mathematical logic), Engineering & Applied Sciences, Mathematical Logic and Formal Languages, Mathematics, Mobile computing