Información de la Revista

Journal of Logical and Algebraic Methods in Programming

Por favor Iniciar sesión para ver el sitio web de la revista
Cuenta gratuita: consulta los sitios oficiales, sigue las fechas límite y recibe recordatorios por correo.
Iniciar sesión Registrarse

Factor de Impacto:
0.700
Editor:
Elsevier
ISSN:
2352-2208
Vistas:
19251
Seguidores:
1

Solicitud de Artículos

Journal of Logical and Algebraic Methods in Programming is an academic journal published by Elsevier. (ISSN 2352-2208, impact factor 0.700).

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. Topics of interest to the journal include: • Applications of algebras, co-algebra and categories to programming • Applications of proof theory and model theory to programming • Constraint programming • Foundations of Programming Paradigms • Logic programming • Logical Foundations of Program Security • Models and Analytical Models for Cyber-Physical Systems • Process Calculi • Programming Models • Quantitative Methods for System Analysis • Specification and verification of systems Researchers interested in acting as a guest editor should review the guest editor/proposal guidelines. 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.
Última actualización por Dou Sun el

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
cLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
cThe Journal of Logic and Algebraic ProgrammingElsevier1567-8326
Computer Methods in Applied Mechanics and Engineering7.3Elsevier0045-7825
International Journal of Parallel Programming0.9Springer0885-7458
International Journal of Information Management27.0Elsevier0268-4012
Computer Methods and Programs in Biomedicine4.8Elsevier0169-2607
Journal of Computational Science3.7Elsevier1877-7503
Programming and Computer Software0.5Springer0361-7688
Archives of Computational Methods in Engineering12.1Springer1134-3060
Journal of Manufacturing Systems14.2Elsevier0278-6125

Conferencias Relacionadas

CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
ProgrammingInternational Conference on the Art, Science, and Engineering of Programming2026-03-16
CAIInternational Conference on Algebraic Informatics2019-01-252019-03-152019-06-30
a*ISSACInternational Symposium on Symbolic and Algebraic Computation2026-01-302026-05-012026-07-13
aa*a1SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
aa*a1AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
aa*a1CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
bba1ICRAInternational Conference on Robotics and Automation2025-09-152026-06-01
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
aa*a1STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
cba2ICCInternational Conference on Communications2025-10-132026-01-122026-05-24

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario

Publicidad