default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 114

> 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 114, August 2020

Special issue on Graph Transformations (extended selected papers from ICGT 2019)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/HarmerO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/HarmerO20
Russ Harmer, Eugenia Oshurko:
Knowledge representation and update in hierarchies of graphs. 100559

Regular article

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Kapus-Kolar20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Kapus-Kolar20
Monika Kapus-Kolar:
Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels. 100560

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

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/ZhaoH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/ZhaoH20
Xin Zhao, Philipp Haller:
Replicated data types that unify eventual consistency and observable atomic consistency. 100561
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AlshareefPSP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AlshareefPSP20
Hanaa Alshareef, Raúl Pardo, Gerardo Schneider, Pablo Picazo-Sanchez:
A collaborative access control framework for online social networks. 100562

Special issue on Graph Transformations (extended selected papers from ICGT 2019)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BarkowskyG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BarkowskyG20
Matthias Barkowsky, Holger Giese:
Hybrid search plan generation for generalized graph pattern matching. 100563
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/NassarKAT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/NassarKAT20
Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer:
Constructing optimized constraint-preserving application conditions for model transformation rules. 100564

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.