Skip to main content


Journal of Automated Reasoning

Journal of Automated Reasoning 1/2020

Ausgabe 1/2020

Inhaltsverzeichnis ( 6 Artikel )

05.12.2018 | Ausgabe 1/2020

A Conflict-Driven Solving Procedure for Poly-Power Constraints

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

01.01.2019 | Ausgabe 1/2020

ExpTime Tableaux with Global Caching for Hybrid PDL

Linh Anh Nguyen

01.01.2019 | Ausgabe 1/2020

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

Christoph Benzmüller, Dana S. Scott

12.02.2019 | Ausgabe 1/2020 Open Access

Priority Inheritance Protocol Proved Correct

Xingyuan Zhang, Christian Urban, Chunhan Wu

22.01.2019 | Ausgabe 1/2020

Politeness and Combination Methods for Theories with Bridging Functions

Paula Chocron, Pascal Fontaine, Christophe Ringeissen

12.02.2019 | Ausgabe 1/2020

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

Marta Cialdea Mayer

Aktuelle Ausgaben

Premium Partner