Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Methods in Programming, Volume 96

> Home > Journals > Journal of Logic 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 96, April 2018

Regular papers

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/GuthmullerCQ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GuthmullerCQ18
Marion Guthmuller, Gabriel Corona, Martin Quinson:
System-level state equality detection for the formal dynamic verification of legacy distributed applications. 1-11

Special issue on WRLA 2016

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/FernandezKPV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/FernandezKPV18
Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet:
Labelled graph strategic rewriting for social networks. 12-40

Regular papers

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Bravetti18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Bravetti18
Mario Bravetti:
Reduction semantics in Markovian process algebra. 41-64

Special issue on 4PAD 2015

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Gorrieri18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Gorrieri18
Roberto Gorrieri:
Verification of finite-state machines: A distributed approach. 65-80

Special issue on WRLA 2016

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/SkeirikM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/SkeirikM18
Stephen Skeirik, José Meseguer:
Metalevel algorithms for variant satisfiability. 81-110

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.