More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 122

> 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 122, August 2021

Special issue on Relational and Algebraic Methods in Computer Science 2018

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/SindoniSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/SindoniSS21
Giulia Sindoni, Katsuhiko Sano, John G. Stell:
Expressing discrete spatial relations under granularity. 100682

Special issue on 30th Nordic Workshop on Programming Theory (NWPT 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Gonzalez-Burgueno21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Gonzalez-Burgueno21
Antonio González-Burgueño, Peter Csaba Ölveczky:
Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL. 100685

Selected papers from the 6th and 7th Workshops on Rewriting Techniques for Program Transformations and Evaluation

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/NishidaN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/NishidaN21
Naoki Nishida, Minami Niwa:
Determinization of inverted grammar programs via context-free expressions. 100688

Special issue on Dynamic Logic: New Trends and Applications

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/SouzaM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/SouzaM21
Marlo Souza, Álvaro Freitas Moreira:
Belief base change as priority change: A study based on dynamic epistemic logic. 100689
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/HennickerKM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/HennickerKM21
Rolf Hennicker, Alexander Knapp, Alexandre Madeira:
Observational interpretations of hybrid dynamic logic with binders and silent transitions. 100698

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.