- 《Journal of Logic and Algebraic Programming》
- 语言：外文
- ISSN：1567-8326
- 核心刊：;Scopus;
- 收录情况：Scopus
- 周期：双月刊
- 影响因子：2015:0.579;2014:0.769;2013:0.383;2012:0.529;2011:0.506;2010:0.537;2009:1.06;2008:1.018;2007:0.873;
- 学科分类：建筑
- 简介：The Journal of Logic and Algebraic Programming is an international journal whose aim is to publish o...
更多...-
- 简介：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 typesThe 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.
隐藏-
- 出版地： Elsevier Science;The Boulevard;Langford Lane;Kidlington;Oxford OX5 1GB
主题范围： Contains original research papers, survey and review articles, tutorial expositions and historical studies in logic programming.-
- 来源数据库：
- Ingenta Connect
- EBSCO检索平台
- 国家科技图书文献中心文献检索
- Elsevier ScienceDirect (1995－)
