Journal of Automated Reasoning | Journament

Journal Ranking

Unranked

Not Yet Ranked

Quality metrics need to be calculated to establish ranking.

Sign In to Calculate Scores Authentication required

Journal of Automated Reasoning

Login or register to claim ownership or editorship of this journal.
Indexings
ncbi ulakbim sci
Short Name Journal of Automated Reasoning
Abbreviated Name j autom reason
ISSN 0168-7433
Aim and Scope
URL
Author Instructions

Publications Per Year

Recent Articles (2 total)

2020
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.
Vol. 64 , No. 5 , pp. 827-856
112 views DOI Abstract
2010
Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach
Vol. 46 , No. 3 , pp. 325-352
17 views DOI
0
Overall
Not Rated
0
0
0
0
0
0
0
0
0
0
0