中文簡(jiǎn)介

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

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

英文簡(jiǎn)介

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