Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 118

> 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 118, January 2021

Special issue on Relational and Algebraic Methods in Computer Science 2018

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/DokterGLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/DokterGLS21
Kasper Dokter, Fabio Gadducci, Benjamin Lion, Francesco Santini:
Soft constraint automata with memory. 100615

Regular Articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/NavarroOPL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/NavarroOPL21
Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers:
A navigational logic for reasoning about graph properties. 100616
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AlbertGIRSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AlbertGIRSS21
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva:
Actor-based model checking for Software-Defined Networks. 100617

Interaction and Concurrency Experience 2019

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/MarmsolerP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/MarmsolerP21
Diego Marmsoler, Ana Petrovska:
Runtime verification for dynamic architectures. 100618

Working Formal Methods (extended selected papers from FROM 2019)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/RusuN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/RusuN21
Vlad Rusu, David Nowak:
(Co)inductive proof systems for compositional proofs in reachability logic. 100619

a service of

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.