Zeitschrift Journal of Automated Reasoning 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 PDF-Version jetzt herunterladen Zum Volltext 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
