Skip to main content


Journal of Automated Reasoning

Journal of Automated Reasoning 1/2020

Issue 1/2020

Table of Contents ( 6 Articles )

05-12-2018 | Issue 1/2020

A Conflict-Driven Solving Procedure for Poly-Power Constraints

Cheng-Chao Huang, Ming Xu, Zhi-Bin Li

01-01-2019 | Issue 1/2020

ExpTime Tableaux with Global Caching for Hybrid PDL

Linh Anh Nguyen

01-01-2019 | Issue 1/2020

Automating Free Logic in HOL, with an Experimental Application in Category Theory

Christoph Benzmüller, Dana S. Scott

12-02-2019 | Issue 1/2020 Open Access

Priority Inheritance Protocol Proved Correct

Xingyuan Zhang, Christian Urban, Chunhan Wu

22-01-2019 | Issue 1/2020

Politeness and Combination Methods for Theories with Bridging Functions

Paula Chocron, Pascal Fontaine, Christophe Ringeissen

12-02-2019 | Issue 1/2020

A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies

Marta Cialdea Mayer

Current Publications

Premium Partner

    Image Credits