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.
Indexations
ncbi ulakbim sci
Nom Abrégé Journal of Automated Reasoning
Nom Abrégé j autom reason
ISSN 0168-7433
Objectifs et Portée
URL
Instructions aux Auteurs

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