• Journal Article

  Online First™

  The HOL Light Theory of Euclidean Space

  John Harrison

  Journal of Automated Reasoning, Online First™, 3 May 2012

  • Download PDF (354.5 KB)

• Journal Article

  Online First™Open Access

  Uncurrying for Termination and Complexity

  Nao Hirokawa, Aart Middeldorp and Harald Zankl

  Journal of Automated Reasoning, Online First™, 25 April 2012

  • Download PDF (674.3 KB)

• Journal Article

  Online First™Open Access

  Multi-Completion with Termination Tools

  Sarah Winkler, Haruhiko Sato, Aart Middeldorp and Masahito Kurihara

  Journal of Automated Reasoning, Online First™, 14 April 2012

  • Download PDF (1.0 MB)

• Journal Article

  Online First™

  Cryptanalysis of a key exchange protocol based on the endomorphisms ring End (\mathbbZ_p ×\mathbbZ_p²){(\mathbb{Z}_{p} \times \mathbb{Z}_{p^2})}

  Abdel Alim Kamal and Amr M. Youssef

  Applicable Algebra in Engineering, Communication and Computing, Online First™, 5 April 2012

  • Download PDF (146.9 KB)

• Journal Article

  Online First™

  6 Years of SMT-COMP

  Clark Barrett, Morgan Deters, Leonardo de Moura, Albert Oliveras and Aaron Stump

  Journal of Automated Reasoning, Online First™, 31 March 2012

  • Download PDF (563.7 KB)

• Journal Article

  Online First™

  Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions

  James P. Bridge and Lawrence Charles Paulson

  Journal of Automated Reasoning, Online First™, 5 March 2012

  • Download PDF (446.8 KB)

• Journal Article

  Online First™

  Polynomial evaluation over finite fields: new algorithms and complexity bounds

  Michele Elia, Joachim Rosenthal and Davide Schipani

  Applicable Algebra in Engineering, Communication and Computing, Online First™, 15 December 2011

  • Download PDF (198.8 KB)

• Journal Article

  Online First™

  Paramodulation with Non-Monotonic Orderings and Simplification

  Miquel Bofill and Albert Rubio

  Journal of Automated Reasoning, Online First™, 15 December 2011

  • Download PDF (1.0 MB)

• Journal Article

  Online First™

  ExpTime Tableaux for ALC\boldsymbol{\mathcal{ALC}} Using Sound Global Caching

  Rajeev Goré and Linh Anh Nguyen

  Journal of Automated Reasoning, Online First™, 9 December 2011

  • Download PDF (3.1 MB)

• Journal Article

  Online First™

  Invariant-Free Clausal Temporal Resolution

  Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro and Fernando Orejas

  Journal of Automated Reasoning, Online First™, 2 December 2011

  • Download PDF (1.1 MB)

FAQ General info on journals and books Send us your feedback Impressum Site Map Contact us

© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info