INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE英文简介

The International Journal of Foundations of Computer Science is an eight-issue journal that publishes articles which contribute new theoretical results in all areas of the foundations of computer science. The theoretical and mathematical aspects covered include:Algebraic theory of computing and formal systemsAlgorithm and system implementation issuesApproximation, probabilistic, and randomized algorithmsAutomata and formal languagesAutomated deductionCombinatorics and graph theoryComplexity theoryComputational biology and bioinformaticsCryptographyDatabase theoryData structuresDesign and analysis of algorithmsDNA computingFoundations of computer securityFoundations of high-performance computingLogic in computer scienceModel checking and computer-aided verificationModels of computationQuantum computingSemantics, concurrency, and type theoryTheories and models of internet computingTheory of learning and inductive inferenceTheory of parallel and distributed computingWireless networks and mobile computingAs computer science is an ever-evolving area, articles on other topics are also invited. The journal also aims to provide a forum for the communication and discussion of new fields needing more coverage and exposure, and thus hopes to publish new attempts and proposals for deepening the theoretical understanding of the nature of computation and information.Please submit your proposal for a special issue to the Editor-in-Chief.

INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE中文简介

《国际计算机科学基金会杂志》是一本八期期刊，发表的文章在计算机科学基金会的各个领域都有新的理论成果。涵盖的理论和数学方面包括：计算和形式系统的代数理论算法和系统实现问题近似、概率和随机算法自动机和形式语言自动扣除组合学和图论复杂性理论计算生物学和生物信息学密码学数据库理论数据结构算法设计与分析DNA计算计算机安全基础高性能计算基础计算机科学中的逻辑模型检查和计算机辅助验证模型的计算量子计算语义、并发性和类型理论互联网计算的理论和模型学习理论和归纳推理并行和分布式计算理论无线网络和移动计算由于计算机科学是一个不断发展的领域，我们也会邀请其他主题的文章。该期刊还旨在为需要更多报道和曝光的新领域提供一个交流和讨论的论坛，从而希望发表新的尝试和建议，加深对计算和信息本质的理论理解。请把你的特刊提案提交给总编。

INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE中科院分区

INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCEJCR分区