Journal of Logic Programming

Continued as Journal of Logical and Algebraic Methods in Programming. 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. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas. The Journal of Logical and Algebraic Methods in Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations and the application of logical, algebraic and categorical methods to programming and to the development of trustworthy computing systems.

Join the conversation about this journal

Category	Year	Quartile
Logic	1999	Q2
Logic	2000	Q1
Logic	2001	Q1
Logic	2002	Q1
Logic	2003	Q2

SJR

The SJR is a size-independent prestige indicator that ranks journals by their 'average prestige per article'. It is based on the idea that 'all citations are not created equal'. SJR is a measure of scientific influence of journals that accounts for both the number of citations received by a journal and the importance or prestige of the journals where such citations come from It measures the scientific influence of the average article in a journal, it expresses how central to the global scientific discussion an average article of the journal is.

Year	SJR
1999	0.636
2000	0.895
2001	1.146
2002	0.948
2003	0.658

Total Documents

Evolution of the number of published documents. All types of documents are considered, including citable and non citable documents.

Year	Documents
1999	39
2000	33
2001	0
2002	0
2003	0

Citations per document

This indicator counts the number of citations received by documents from a journal and divides them by the total number of documents published in that journal. The chart shows the evolution of the average number of times documents published in a journal in the past two, three and four years have been cited in the current year. The two years line is equivalent to journal impact factor ™ (Thomson Reuters) metric.

Cites per document	Year	Value
Cites / Doc. (4 years)	1999	1.491
Cites / Doc. (4 years)	2000	1.960
Cites / Doc. (4 years)	2001	2.069
Cites / Doc. (4 years)	2002	2.075
Cites / Doc. (4 years)	2003	1.278
Cites / Doc. (3 years)	1999	1.491
Cites / Doc. (3 years)	2000	1.991
Cites / Doc. (3 years)	2001	2.057
Cites / Doc. (3 years)	2002	2.069
Cites / Doc. (3 years)	2003	1.242
Cites / Doc. (2 years)	1999	1.466
Cites / Doc. (2 years)	2000	1.767
Cites / Doc. (2 years)	2001	2.097
Cites / Doc. (2 years)	2002	2.030
Cites / Doc. (2 years)	2003	0.000

Total Cites

Self-Cites

Evolution of the total number of citations and journal's self-citations received by a journal's published documents during the three previous years.
Journal Self-citation is defined as the number of citation from a journal citing article to articles published by the same journal.

Cites	Year	Value
Self Cites	1999	23
Self Cites	2000	22
Self Cites	2001	0
Self Cites	2002	0
Self Cites	2003	0
Total Cites	1999	167
Total Cites	2000	223
Total Cites	2001	218
Total Cites	2002	149
Total Cites	2003	41

External Cites per Doc

Cites per Doc

Evolution of the number of total citation per document and external citation per document (i.e. journal self-citations removed) received by a journal's published documents during the three previous years. External citations are calculated by subtracting the number of self-citations from the total number of citations received by the journal’s documents.

Cites	Year	Value
External Cites per document	1999	1.286
External Cites per document	2000	1.795
External Cites per document	2001	2.057
External Cites per document	2002	2.069
External Cites per document	2003	1.242
Cites per document	1999	1.491
Cites per document	2000	1.991
Cites per document	2001	2.057
Cites per document	2002	2.069
Cites per document	2003	1.242

% International Collaboration

International Collaboration accounts for the articles that have been produced by researchers from several countries. The chart shows the ratio of a journal's documents signed by researchers from more than one country; that is including more than one country address.

Year	International Collaboration
1999	35.90
2000	36.36
2001	0
2002	0
2003	0

Citable documents

Non-citable documents

Not every article in a journal is considered primary research and therefore "citable", this chart shows the ratio of a journal's articles including substantial research (research articles, conference papers and reviews) in three year windows vs. those documents other than research articles, reviews and conference papers.

Documents	Year	Value
Non-citable documents	1999	0
Non-citable documents	2000	0
Non-citable documents	2001	0
Non-citable documents	2002	0
Non-citable documents	2003	0
Citable documents	1999	112
Citable documents	2000	112
Citable documents	2001	106
Citable documents	2002	72
Citable documents	2003	33

Cited documents

Uncited documents

Ratio of a journal's items, grouped in three years windows, that have been cited at least once vs. those not cited during the following year.

Documents	Year	Value
Uncited documents	1999	48
Uncited documents	2000	43
Uncited documents	2001	39
Uncited documents	2002	25
Uncited documents	2003	13
Cited documents	1999	64
Cited documents	2000	69
Cited documents	2001	67
Cited documents	2002	47
Cited documents	2003	20