Indexed in Journament

Journal of Automated Reasoning

ISSN 0168-7433· EN

Certificate of Indexing
Login or register to claim ownership or editorship of this journal.
2
Articles Indexed

About This Journal

Short Name Journal of Automated Reasoning
Abbreviated Name j autom reason
ISSN 0168-7433

Indexings

ncbi ulakbim sci

Tools & Certificate of Indexing

Certificate of Indexing

Publications Per Year

Articles (2)

2020
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.
Thiemann, René;Bottesch, Ralph;Divasón, Jose;Haslbeck, Max W;Joosten, Sebastiaan J C;Yamada, Akihisa;
Vol. 64 , No. 5 , pp. 827-856
154 views DOI Abstract
2010
Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach
Küsters, Ralf;Truderung, Tomasz;
Vol. 46 , No. 3 , pp. 325-352
55 views DOI
2020
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.
Thiemann, René;Bottesch, Ralph;Divasón, Jose;Haslbeck, Max W;Joosten, Sebastiaan J C;Yamada, Akihisa;
Vol. 64 , No. 5 , pp. 827-856
154 views DOI Abstract
2010
Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach
Küsters, Ralf;Truderung, Tomasz;
Vol. 46 , No. 3 , pp. 325-352
55 views DOI
0
Overall
Not Rated
0
0
0
0
0
0
0
0
0
0
0
Journament