More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning, Volume 53

> 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 53, Number 1, June 2014

- view
  authority control:
- export record
  dblp key:
  - journals/jar/KazakovKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KazakovKS14
Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik:
The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies. 1-61
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AffeldtHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AffeldtHS14
Reynald Affeldt, Manabu Hagiwara, Jonas Sénizergues:
Formalization of Shannon's Theorems. 63-103

Volume 53, Number 2, August 2014

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Zsido14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Zsido14
Julianna Zsido:
Theorem of Three Circles in Coq. 105-127
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GouwBR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GouwBR14
Stijn de Gouw, Frank S. de Boer, Jurriaan Rot:
Proof Pearl: The KeY to Correct and Stable Sorting. 129-139
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BridgeHP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BridgeHP14
James P. Bridge, Sean B. Holden, Lawrence C. Paulson:
Machine Learning for First-Order Theorem Proving - Learning to Select a Good Heuristic. 141-172
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/KaliszykU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KaliszykU14
Cezary Kaliszyk, Josef Urban:
Learning-Assisted Automated Reasoning with Flyspeck. 173-213

Volume 53, Number 3, October 2014

- view
  authority control:
- export record
  dblp key:
  - journals/jar/WuHTW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/WuHTW14
Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell:
Absorption for ABoxes. 215-243
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GlimmHMSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GlimmHMSW14
Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang:
HermiT: An OWL 2 Reasoner. 245-269
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BraibantJM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BraibantJM14
Thomas Braibant, Jacques-Henri Jourdan, David Monniaux:
Implementing and Reasoning About Hash-consed Data Structures in Coq. 271-304
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Mayer14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Mayer14
Marta Cialdea Mayer:
Extended Decision Procedure for a Fragment of HL with Binders. 305-315

Volume 53, Number 4, December 2014

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BensaidP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BensaidP14
Hicham Bensaid, Nicolas Peltier:
A Complete Superposition Calculus for Primal Grammars. 317-350
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SteigmillerGL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SteigmillerGL14
Andreas Steigmiller, Birte Glimm, Thorsten Liebig:
Reasoning with Nominal Schemas through Absorption. 351-405
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SiddiqueH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SiddiqueH14
Umair Siddique, Osman Hasan:
On the Formalization of Gamma Function in HOL. 407-429

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.