TY  - BOOK
AU  - Soha Safwat Labib Hanna
AU  - Ibrahim Farag , 
AU  - Wafik Boulos Lotfallah , 
TI  - Descriptive complexitics of syntactical fragments of programming languages / 
PY  - 2012///
CY  - Cairo : 
PB  - Soha Safwat Labib Hanna , 
KW  - Descriptive complexitics
KW  - Programming languages
KW  - Syntactical fragments
N1  - Thesis (Ph.D.) - Cairo University - Faculty of Computers and Information - Department of Computer Science; Issued also as CD
N2  - Descriptive complexitics emerged from finite model theory and had its aims in finding logics that capture computational complexity classes. Observing that imperative programming languages can also be considered as logics (maybe with some additional control), we wxtend the scope of descriptive complexity by defining two fragments of such languages and showing that they capture the classes P and NP
UR  - http://172.23.153.220/th.pdf
ER  -