Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning, Volume 52

> 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 52, Number 1, January 2014

- view
  authority control:
- export record
  dblp key:
  - journals/jar/OmodeoT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/OmodeoT14
Eugenio G. Omodeo, Alexandru I. Tomescu:
Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets. 1-29
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GwynneK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GwynneK14
Matthew Gwynne, Oliver Kullmann:
Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution. 31-65
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Fiorino14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Fiorino14
Guido Fiorino:
Terminating Calculi for Propositional Dummett Logic with Subformula Property. 67-97
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HidalgoJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HidalgoJ14
Marta R. Hidalgo, Robert Joan-Arinyo:
The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry. 99-122

Volume 52, Number 2, February 2014

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Ballarin14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Ballarin14
Clemens Ballarin:
Locales: A Module System for Mathematical Theories. 123-153
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/KutsiaLV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KutsiaLV14
Temur Kutsia, Jordi Levy, Mateu Villaret:
Anti-unification for Unranked Terms and Hedges. 155-190
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AlamaHKTU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AlamaHKTU14
Jesse Alama, Tom Heskes, Daniel Kühlwein, Evgeni Tsivtsivadze, Josef Urban:
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods. 191-213
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ParkSPL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ParkSPL14
Jonghyun Park, Jeongbong Seo, Sungwoo Park, Gyesik Lee:
Mechanizing Metatheory Without Typing Contexts. 215-239

Volume 52, Number 3, March 2014

- view
  authority control:
- export record
  dblp key:
  - journals/jar/AlkassarBMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AlkassarBMR14
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah:
A Framework for the Verification of Certifying Computations. 241-273
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MalkisB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MalkisB14
Alexander Malkis, Anindya Banerjee:
On Automation in the Verification of Software Barriers: Experience Report. 275-329
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Hidalgo-DobladoABMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Hidalgo-DobladoABMR14
María-José Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina:
Formally Verified Tableau-Based Reasoners for a Description Logic. 331-360

Volume 52, Number 4, April 2014

- view
  authority control:
- export record
  dblp key:
  - journals/jar/StannettN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/StannettN14
Mike Stannett, István Németi:
Using Isabelle/HOL to Verify First-Order Relativity Theory. 361-378
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ZhouHWGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ZhouHWGS14
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun:
Array Theory of Bounded Elements and its Applications. 379-405
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KaminskiS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KaminskiS14
Mark Kaminski, Gert Smolka:
A Goal-Directed Decision Procedure for Hybrid PDL. 407-450
- view
  authority control:
- export record
  dblp key:
  - journals/jar/WuZU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/WuZU14
Chunhan Wu, Xingyuan Zhang, Christian Urban:
A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions. 451-480

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.