- 首页
- 产品服务
- 知识脉络
- 期刊大全
- 期刊评价报告
- 充值
- 会员
- 职称材料
搜期刊
刊名
文献信息
- 任意字段
- 主题词
- 篇关摘
- 篇名
- 关键词
- 摘要
- 作者
- 第一作者
- 作者单位
- 刊名
- 中图分类号
- 学科分类号
- DOI
- 基金
投稿预审
The Journal of Logic and Algebraic Programming
JST
- 主办单位： Elsevier
- 出版地区： New York
- 出版周期： 月刊
- 别名： Journal of Logic & Algebraic Programming;JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING;Journal of Logic and Algebraic Programming;逻辑与代数编程杂志
- 国际标准连续出版物号/电子版： ISSN 1567-8326 / EISSN 1873-5940
- 创刊时间： 1984年
- 曾用名： The Journal of Logic Programming
热门主题：
Process AlgebraModel CheckingSpecial IssueKleene AlgebraKeyword IndexAlgebraic SpecificationFormal SpecificationWeb ServicesProgramming LanguagesRelation AlgebraType SystemFormal SemanticsTemporal LogicComputer ScienceTimed AutomataProcess AlgebraicHybrid AutomataFormal VerificationConcurrent SystemsModel Checker
期刊信息
- 主办单位：Elsevier
- 地 址： New York
期刊简介