Journal of Logical and Algebraic Methods in Programming

  • 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.

+ About
  • 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.

  • Rocco De Nicola

+ Editor-in-Chief
  • Rocco De Nicola

  • Print ISSN: 2352-2216

    Electronic ISSN: 2352-2208

+ ISSN
  • Print ISSN: 2352-2216

    Electronic ISSN: 2352-2208

  • Science Citation Index Expanded.

  • Scopus.

+ Abstracting and Indexing
  • Science Citation Index Expanded.

  • Scopus.

  • Impact Factor 2015: 0.636

+ Impact Factor
  • Impact Factor 2015: 0.636

  • Humanities and Social Sciences in General, Political Science and Public Administration, Sociology.

+ Subject Area and Category
  • Humanities and Social Sciences in General, Political Science and Public Administration, Sociology.

  • Publisher: Elsevier

    Country: USA

+ Publisher & Country
  • Publisher: Elsevier

    Country: USA