default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Methods in Programming, Volume 88

> 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 88, April 2017

Research article

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/BerghammerW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BerghammerW17
Rudolf Berghammer, Michael Winter:
Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. 1-25
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Cruz-FilipeGN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Cruz-FilipeGN17
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes:
From description-logic programs to multi-context systems. 26-44

Virtual special issue - RAMiCS 2015

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/BerghammerG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BerghammerG17
Rudolf Berghammer, Walter Guttmann:
An algebraic approach to multirelations and their properties. 45-63
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Doberkat17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Doberkat17
Ernst-Erich Doberkat:
A stochastic interpretation of game logic. 64-98

Virtual special issue - 4PAD 2015

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/GiachinoLMT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GiachinoLMT17
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-consistent rollback in a tuple-based language. 99-120
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/EvrardL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/EvrardL17
Hugues Evrard, Frédéric Lang:
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous. 121-153

Virtual special issue - NWPT 2014

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Plump17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Plump17
Detlef Plump:
From imperative to rule-based graph programs. 154-173
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/PoulsenM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/PoulsenM17
Casper Bach Poulsen, Peter D. Mosses:
Flag-based big-step semantics. 174-190

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.