期刊簡介預(yù)計審稿時間： 約24.0個月

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-

Types and typechecking

《信息與計算》歡迎理論計算機(jī)科學(xué)和信息理論計算應(yīng)用各個領(lǐng)域的原創(chuàng)論文。質(zhì)量卓越的綜述文章也將受到考慮。特別歡迎在活躍的理論領(lǐng)域貢獻(xiàn)新成果的論文，例如

-生物計算和計算生物學(xué)-

計算復(fù)雜性-

計算機(jī)定理證明-

并發(fā)和分布式過程理論-

密碼理論-

數(shù)據(jù)庫理論-

邏輯中的決策問題-

算法的設(shè)計和分析-

離散優(yōu)化和數(shù)學(xué)規(guī)劃-

歸納推理和學(xué)習(xí)理論-

邏輯和約束編程-

程序驗證和模型檢查-

概率和量子計算-

編程語言的語義-

符號計算，lambda演算和重寫系統(tǒng)-

類型和類型檢查

《Information And Computation》(信息與計算)編輯部通訊方式為ACADEMIC PRESS INC ELSEVIER SCIENCE, 525 B ST, STE 1900, SAN DIEGO, USA, CA, 92101-4495。如果您需要協(xié)助投稿或潤稿服務(wù)，您可以咨詢我們的客服老師。我們專注于期刊咨詢服務(wù)十年，熟悉發(fā)表政策，可為您提供一對一投稿指導(dǎo)，避免您在投稿時頻繁碰壁，節(jié)省您的寶貴時間，有效提升發(fā)表機(jī)率，確保SCI檢索（檢索不了全額退款）。我們視信譽(yù)為生命，多方面確保文章安全保密，在任何情況下都不會泄露您的個人信息或稿件內(nèi)容。