Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Information and Computation
Information and Computation welcomes original papers in all areas
of theoretical Computer Science and computational applications of
Information Theory. Survey articles of exceptional quality will also be
considered. Particularly welcome are papers contributing new results in
active theoretical areas such as
Biological computation and computational biology
Computational complexity
Computer theorem-proving
Concurrency and distributed process theory
Cryptographic theory
Data base theory
Decision problems in Logic
Design and analysis of algorithms
Discrete optimization and mathematical programming
Inductive inference and learning theory
Logic & constraint programming
Program verification & model checking
Probabilistic & Quantum computation
Semantics of programming languages
Symbolic computation, lambda calculus and rewriting systems