Journal of Logical and Algebraic Methods in Programming

Title Publication Date Language Citations
Components and acyclicity of graphs. An exercise in combining precision with concision2022/01/01English
Editorial Board2021/08/01English
Gaining trust by tracing security protocols2023/01/01English
Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets2023/01/01English
bGSL: An imperative language for specification and refinement of backtracking programs2023/01/01English
Stone dualities from opfibrations2022/06/01English
Editorial Board2014/05/01English
Contents2014/05/01English
An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic2015/01/01English
Preface for the special issue on Interaction and Concurrency Experience 20142016/04/01English
The role of concurrency in an evolutionary view of programming abstractions2015/11/01English
Contents2016/01/01English
Editorial Board2016/01/01English
LCTD: Test-guided proofs for C programs on LLVM2016/10/01English
Incremental reasoning on monadic second-order logics with logic programming2016/02/01English
Relational and algebraic methods in computer science2015/05/01English
Contents2015/05/01English
Editorial Board2015/05/01English
Lightweight formalization and validation of ORM models2015/07/01English
Contents2015/03/01English
Editorial Board2015/03/01English
Contents2015/01/01English
Editorial Board2015/01/01English
Foreword2015/01/01English
Preface2015/01/01English
Symbol different term rewrite systems2015/09/01English
Lightening global types2015/09/01English
Contents2015/09/01English
Editorial Board2015/09/01English
Computing minimal extending sets by relation-algebraic modeling and development2014/03/01English