default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 142

> Home > Journals > Journal of Logical and Algebraic Methods in Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 142, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AlonsoHO25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AlonsoHO25
Ander Alonso, Montserrat Hermo, Josu Oca:
Towards an efficient implementation of a tableau method for reactive safety specifications. 101003
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/HeuvelP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/HeuvelP25
Bas van den Heuvel, Jorge A. Pérez:
Comparing session type systems derived from linear logic. 101004
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/RubioR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/RubioR25
Rubén Rubio, Adrián Riesco:
Maude2Lean: Theorem proving for Maude specifications using Lean. 101005
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Cerone25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Cerone25
Antonio Cerone:
Multifaceted formal methods and their interdisciplinary role - From the cathedral of 'components as coalgebras' to the HCI context and the open source software bazaar. 101006
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/GalindoPS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/GalindoPS25
Carlos Galindo, Sergio Pérez, Josep Silva:
The expression dependence graph. 101016
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BarkallahJ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BarkallahJ25
Manel Barkallah, Jean-Marie Jacquet:
On the expressiveness and efficiency of guarded lists in Bach. 101017
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BarbaneraBD25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BarbaneraBD25
Franco Barbanera, Viviana Bono, Mariangiola Dezani-Ciancaglini:
Partially typed multiparty sessions with internal delegation. 101018
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BarrioFHME25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BarrioFHME25
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño, Clara Benac Earle:
Executable contracts for Elixir. 101019
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/MorenoR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/MorenoR25
Ginés Moreno, José A. Riaza:
Tuning similarity-based fuzzy logic programs. 101020
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Zhang25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Zhang25
Wenhui Zhang:
First order Büchi automata and their application to verification of LTL specifications. 101021

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.