Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

共收录本刊相关文章索引961条

Expression Reduction Systems with Patterns [0.03%] 带模式的表达式约简系统

Julien Forest; Delia Kesner Julien Forest; Delia Kesner

Journal of automated reasoning. 2007;39(4):513-541. DOI:10.1007/s10817-007-9083-0 2007

Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints [0.03%] 计算约束最小不可满足子集的算法

Mark H. Liffiton; Karem A. Sakallah Mark H. Liffiton; Karem A. Sakallah

Journal of automated reasoning. 2008;40(1):1-33. DOI:10.1007/s10817-007-9084-z 2008

On the Mechanization of the Proof of Hessenberg’s Theorem in Coherent Logic [0.03%] 相干逻辑中赫森伯格定理证明的机械化研究

Marc Bezem; Dimitri Hendriks Marc Bezem; Dimitri Hendriks

Journal of automated reasoning. 2008;40(1):61-85. DOI:10.1007/s10817-007-9086-x 2008

Matrix Interpretations for Proving Termination of Term Rewriting [0.03%] 用于证明项重写终止性的矩阵解释方法

Jörg Endrullis; Johannes Waldmann; Hans Zantema Jörg Endrullis; Johannes Waldmann; Hans Zantema

Journal of automated reasoning. 2008;40(2-3):195-220. DOI:10.1007/s10817-007-9087-9 2008

A Mechanized Proof of the Basic Perturbation Lemma [0.03%] 基本扰动引理的机械化证明

Jesús Aransay; Clemens Ballarin; Julio Rubio Jesús Aransay; Clemens Ballarin; Julio Rubio

Journal of automated reasoning. 2008;40(4):271-292. DOI:10.1007/s10817-007-9094-x 2008

A Mechanical Analysis of Program Verification Strategies [0.03%] 程序验证策略的力学分析

Sandip Ray; Warren A. Hunt; John Matthews; J. Strother Moore Sandip Ray; Warren A. Hunt; John Matthews; J. Strother Moore

Journal of automated reasoning. 2008;40(4):245-269. DOI:10.1007/s10817-008-9098-1 2008

Modality and interrupts [0.03%] 模式与中断

Matthew L. Ginsberg Matthew L. Ginsberg

Journal of automated reasoning. 1995;14(1):43-91. DOI:10.1007/bf00883930 1995

Preface [0.03%] 前言

Deepak Kapur; Laurent Vigneron Deepak Kapur; Laurent Vigneron

Journal of automated reasoning. 2004;33(3-4):219-220. DOI:10.1007/s10817-004-6240-6 2004

Model-Theoretic Methods in Combined Constraint Satisfiability [0.03%] 组合约束满足问题中的模型论方法

Silvio Ghilardi Silvio Ghilardi

Journal of automated reasoning. 2004;33(3-4):221-249. DOI:10.1007/s10817-004-6241-5 2004

Calogero G. Zarba; Domenico Cantone; Jacob T. Schwartz Calogero G. Zarba; Domenico Cantone; Jacob T. Schwartz

Journal of automated reasoning. 2004;33(3-4):251-269. DOI:10.1007/s10817-004-6243-3 2004