投稿信息
投稿信息
审稿周期
投稿命中率
审稿费用
暂无数据
版面费用
暂无数据
中国人发表比例
2018年中国人文章占该期刊总数量暂无数据 (2017年为暂无数据)
自引率
暂无数据
年文章数
0
作者需知
暂无数据
NCBI查询
偏重的研究方向
暂无数据
期刊简介
稿件收录要求
稿件收录要求
Published by Elsevier Science.
ISSN: 1567-8326.
The Journal of Logic and Algebraic Programming is an international journal whose aim is to publish original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for programming in its broadest sense. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.Topics of interest to the journal include: logic programming, constraint programming, abstract data types, classes and objects, components, process algebra and pi-calculus, term rewriting, lambda calculus, algebraic specification and verification of systems, algebraic methods for syntax and semantics, applications of algebras, categories, domains, topological spaces and co-algebras to programming, applications of proof theory and model theory to programming, programming with topological data types. The Journal of Logic and Algebraic Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations of logical, algebraic and categorical methods for programming.
The Journal of Logic and Algebraic Programming is an international journal whose aim is to publish original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for programming in its broadest sense. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.Topics of interest to the journal include: logic programming, constraint programming, abstract data types, classes and objects, components, process algebra and pi-calculus, term rewriting, lambda calculus, algebraic specification and verification of systems, algebraic methods for syntax and semantics, applications of algebras, categories, domains, topological spaces and co-algebras to programming, applications of proof theory and model theory to programming, programming with topological data types. The Journal of Logic and Algebraic Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations of logical, algebraic and categorical methods for programming.
