中文簡介

信息與計算歡迎所有領(lǐng)域的理論計算機(jī)科學(xué)和計算應(yīng)用理論的原始論文。此外，亦會考慮品質(zhì)優(yōu)良的檢驗物品。特別受歡迎的是在活躍的理論領(lǐng)域如生物計算和計算生物學(xué)計算復(fù)雜度電腦定理證明并發(fā)與分布式過程理論密碼理論數(shù)據(jù)基礎(chǔ)理論邏輯決策問題算法設(shè)計與分析離散優(yōu)化與數(shù)學(xué)規(guī)劃歸納推理與學(xué)習(xí)理論邏輯與約束規(guī)劃程序驗證和模型檢查概率與量子計算程序設(shè)計語言的語義符號計算、lambda演算和重寫系統(tǒng)類型和類型查詢

投稿網(wǎng)址：http://iandc.csail.mit.edu/

英文簡介

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 asBiological computation and computational biologyComputational complexityComputer theorem-provingConcurrency and distributed process theoryCryptographic theoryData base theoryDecision problems in logicDesign and analysis of algorithmsDiscrete optimization and mathematical programmingInductive inference and learning theoryLogic & constraint programmingProgram verification & model checkingProbabilistic & Quantum computationSemantics of programming languagesSymbolic computation, lambda calculus, and rewriting systemsTypes and typechecking