default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 141

> 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 141, 2024

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/KimGLN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/KimGLN24
Esther H. Kim, Martijn A. Goorden, Kim G. Larsen, Thomas D. Nielsen:
Controlling stormwater detention ponds under partial observability. 100979
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/HorneP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/HorneP24
Ross Horne, Luca Padovani:
A logical account of subtyping for session types. 100986
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Erkens24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Erkens24
Rick Erkens:
Optimizing term rewriting with creeper trace transducers. 100987
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/PinoOMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/PinoOMP24
Elvira Pino, Fernando Orejas, Nikos Mylonakis, Edelmira Pasarella:
A logical approach to graph databases. 100997
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BasileB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BasileB24
Davide Basile, Maurice H. ter Beek:
Advancing orchestration synthesis for contract automata. 100998
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/ChevalNR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/ChevalNR24
Horatiu Cheval, David Nowak, Vlad Rusu:
Formal definitions and proofs for partial (co)recursive functions. 100999
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/MakhloufZP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/MakhloufZP24
Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi:
When causality meets fairness: A survey. 101000
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/MoezkarimiG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/MoezkarimiG24
Zahra Moezkarimi, Fatemeh Ghassemi:
Efficient analysis of belief properties in process algebra. 101001
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/ArtecheH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/ArtecheH24
Noel Arteche, Montserrat Hermo:
Towards the exact complexity of realizability for Safety LTL. 101002

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.