Key Metrics
CiteScore 

3
H-Index 

19
Impact Factor 

< 5
SJR 

Q1Logic

SNIP 

1.18
Recommended pre-submission checks
Powered by 

Topics Covered on Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming Journal Specifications
| Overview | |
| Publisher | ELSEVIER SCIENCE INC |
| Language | English |
| Frequency | Bi-monthly |
| General Details | |
| Language | English |
| Frequency | Bi-monthly |
| Publication Start Year | 2014 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in Journal of Logical and Algebraic Methods in Programming ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations

Recently Published Papers in Journal of Logical and Algebraic Methods in Programming
The decohered ZX-calculus
- 1 Jan 2027
- Journal of Logical and Algebraic Methods in Programming
Formalising non-functional requirements templates for verifiable system design
- 1 Jan 2027
- Journal of Logical and Algebraic Methods in Programming
A formal framework for the economic security of DeFi compositions
- 1 Jan 2027
- Journal of Logical and Algebraic Methods in Programming
Graph-based algorithms for testing convexity of 2DNF
- 1 Jan 2027
- Journal of Logical and Algebraic Methods in Programming
On efficient and sound restrictions of modal refinement
- 1 Jan 2027
- Journal of Logical and Algebraic Methods in Programming
Supporting the resolution of microservice security smells
- 1 Jan 2027
- Journal of Logical and Algebraic Methods in Programming
The decohered ZX-calculus
- 1 Jan 2027
- Journal of Logical and Algebraic Methods in Programming
Formalising non-functional requirements templates for verifiable system design
- 1 Jan 2027
- Journal of Logical and Algebraic Methods in Programming
A formal framework for the economic security of DeFi compositions
- 1 Jan 2027
- Journal of Logical and Algebraic Methods in Programming
Graph-based algorithms for testing convexity of 2DNF
- 1 Jan 2027
- Journal of Logical and Algebraic Methods in Programming
On efficient and sound restrictions of modal refinement
- 1 Jan 2027
- Journal of Logical and Algebraic Methods in Programming
Supporting the resolution of microservice security smells
- 1 Jan 2027
- Journal of Logical and Algebraic Methods in Programming