Journal of Automated Reasoning

Journal of Automated Reasoning

Indexed In	ncbi ulakbim MEP: 0.502 Ödeme: 2510 Yılı: 2020 sci
Short Name	Journal of Automated Reasoning
Abbreviated Name	j autom reason
Publications/Year
ISSN	0168-7433
Aim and Scope
URL
Author Instructions

Top Clicked Bibliographies from Search

2020 Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. Clicks: 112

2010 Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach Clicks: 13