Funder
Promotionsstipendium nach Graduiertenförderungsverordnung des Landes Brandenburg GradV
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference16 articles.
1. Complexity and Real Computation;Blum,1998
2. On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines;Blum;Bull. Am. Math. Soc. (N.S.),1989
3. Logics which capture complexity classes over the reals;Cucker;J. Symb. Log.,1999
4. Finite automata over structures - (extended abstract);Gandhi,2012
5. Metafinite model theory;Grädel;Inf. Comput.,1998
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献