Skip to main content
main-content

Zeitschrift

Journal of Automated Reasoning

Journal of Automated Reasoning 3/2019

Ausgabe 3/2019

Inhaltsverzeichnis ( 9 Artikel )

12.06.2018 | Ausgabe 3/2019

A PSpace Algorithm for Acyclic Epistemic DL

Jia Tao

28.08.2018 | Ausgabe 3/2019 Open Access

Semantics of Mizar as an Isabelle Object Logic

Cezary Kaliszyk, Karol Pąk

24.09.2018 | Ausgabe 3/2019 Open Access

Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF

Olaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate Schmidt, Martin Suda

04.10.2018 | Ausgabe 3/2019

Mechanized Metatheory Revisited

Dale Miller

25.10.2018 | Ausgabe 3/2019

Classification of Finite Fields with Applications

Hing-Lun Chan, Michael Norrish

27.10.2018 | Ausgabe 3/2019

Formally Verifying the Solution to the Boolean Pythagorean Triples Problem

Luís Cruz-Filipe, Joao Marques-Silva, Peter Schneider-Kamp

08.11.2018 | Ausgabe 3/2019

Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation

Wenxi Wang, Harald Søndergaard, Peter J. Stuckey

09.11.2018 | Ausgabe 3/2019

An Isabelle/HOL Formalisation of Green’s Theorem

Mohammad Abdulaziz, Lawrence C. Paulson

04.12.2018 | Ausgabe 3/2019

Formalization of Geometric Algebra in HOL Light

Li-Ming Li, Zhi-Ping Shi, Yong Guan, Qian-Ying Zhang, Yong-Dong Li

Aktuelle Ausgaben

Premium Partner

    Bildnachweise