Journal of Logical and Algebraic Methods in Programming is an international journal publishes high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems.
Journal Home: Journal Homepage
Editor-in-Chief: Rocco De Nicola
scope: The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems.
Print ISSN: 2352-2216
Electronic ISSN: 2352-2208
Abstracting and Indexing: Science Citation Index Expanded. Scopus.
Imapct Factor 2021: 1.088
Subject Area and Category: Humanities and Social Sciences in General, Political Science and Public Administration, Sociology.
Publication Frequency: Bimonthly
H Index: 17
Q1:
Q2:
Q3: Theoretical Computer Science
Q4:
Cite Score: 3.0
SNIP: 1.179
Journal Rank(SJR): 0.615
Guidelines for Authors: Journal of Logical and Algebraic Methods in Programming Author Guidelines
Paper Submissions: Paper Submissions in Journal of Logical and Algebraic Methods in Programming
Publisher: Elsevier
Country: USA
