Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning, Volume 68

> Home > Journals > Journal of Automated Reasoning

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 68, Number 1, March 2024

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Faissole24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Faissole24
Florian Faissole:
Formally-Verified Round-Off Error Analysis of Runge-Kutta Methods. 1
- view
  authority control:
- export record
  dblp key:
  - journals/jar/EchenimM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/EchenimM24
Mnacho Echenim, Mehdi Mhalla:
A Formalization of the CHSH Inequality and Tsirelson's Upper-bound in Isabelle/HOL. 2
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BraunMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BraunMS24
David Braun, Nicolas Magaud, Pascal Schreck:
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry. 3
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Payet24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Payet24
Étienne Payet:
Non-termination in Term Rewriting and Logic Programming. 4
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/BohmPB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BohmPB24
Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff:
Should Decisions in QCDCL Follow Prefix Order? 5

Volume 68, Number 2, June 2024

- view
  authority control:
- export record
  dblp key:
  - journals/jar/GeattiGMV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GeattiGMV24
Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato:
SAT Meets Tableaux for Linear Temporal Logic Satisfiability. 6
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SteinhofelH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SteinhofelH24
Dominic Steinhöfel, Reiner Hähnle:
Schematic Program Proofs with Abstract Execution. 7
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BernreiterLMW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BernreiterLMW24
Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran:
Sequent Calculi for Choice Logics. 8

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.