Treffer 201 - 220 von 1.231

01 natural sciences 864 0102 computer and information sciences 789 0101 mathematics 534 analysis of algorithms and problem complexity 440 complexity classes (hierarchies, relations among complexity classes, etc.) 336 02 engineering and technology 302 mehr ... 0202 electrical engineering, electronic engineering, information engineering 272 theoretical computer science 241 models of computation (turing machines, etc.) 170 turing machines and related notions 144 computer science(all) 133 computational complexity 119 decidability of theories and sets of sentences 119 recursive functions and relations, subrecursive hierarchies 113 computational theory and mathematics 107 16. peace & justice 86 complexity classes 76 complexity 74 applied mathematics 70 complexity of proofs 68 other degrees and reducibilities in computability and recursion theory 66 logic 64 computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) 57 computer networks and communications 57 formal languages and automata 55 model theory of finite structures 54 boolean functions 51 first-order arithmetic and fragments 50 recursively (computably) enumerable sets and degrees 50 mechanization of proofs and logical operations 48 weniger ...

elsevier bv 373 springer science and business media llc 149 society for industrial & applied mathematics (siam) 81 wiley 72 cambridge university press (cup) 60 springer berlin heidelberg 37 mehr ... oxford university press (oup) 23 american mathematical society (ams), providence, ri 19 research institute for mathematical sciences, kyoto university, kyoto 19 duke university press 14 ieee comput. soc. press 14 edp sciences 13 akademie-verlag, berlin 11 sage publications 11 ieee 9 association for computing machinery (acm) 8 springer us, new york, ny; pleiades publishing (allerton press), new york, ny; maik ``nauka/interperiodica'', moscow 8 taylor \& francis, abingdon, oxfordshire 8 acm press 7 akademie verlag, berlin 7 slovak academic press ltd., bratislava 7 american mathematical society (ams) 6 european association for theoretical computer science, leiden 6 kazan state university (kazanskii gosudarstvennyi universitet), kazan 6 world scientific pub co pte lt 6 academy of sciences of the armenian soviet socialist republic - armenian ssr (akademiya nauk armyanskoi ssr), yerevan 5 academy of sciences of the union of soviet socialist republics - ussr (akademiya nauk sssr), leningrad branch (leningradskoe otdelenie), leningrad 5 cambridge university press, west nyack, ny; association for symbolic logic (asl), poughkeepsie, ny 5 charles university, mathematical institute, prague 5 elsevier (north-holland), amsterdam 5 weniger ...

english 774 undetermined 452 german 4 french 1

OpenAIRE 1.231