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 110

> 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 110, January 2020

Regular papers

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/FahrenbergL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/FahrenbergL20
Uli Fahrenberg, Axel Legay:
A linear-time-branching-time spectrum for behavioral specification theories.

Special Issue on Formal Approaches to Parallel and Distributed Systems

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/HenrioKL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/HenrioKL20
Ludovic Henrio, Christoph W. Kessler, Lu Li:
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems.

Special Issue on Graph Transformations (extended selected papers from ICGT 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/KulcsarCL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/KulcsarCL20
Géza Kulcsár, Andrea Corradini, Malte Lochau:
A calculus of concurrent graph-rewriting processes.

Special Issue on Rewriting logic and its applications (extended selected papers from WRLA 2018)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/DuranEEMMRT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/DuranEEMMRT20
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and symbolic computation in Maude.
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Meseguer20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Meseguer20
José Meseguer:
Generalized rewrite theories, coherence completion, and symbolic methods.
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AlpuenteCEM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AlpuenteCEM20
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
A partial evaluation framework for order-sorted equational programs modulo axioms.

Special issue on SEFM 2016

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Yavuz20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Yavuz20
Tuba Yavuz:
Partial predicate abstraction and counter-example guided refinement.

Special issue on TIME 2016

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AkshayHP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AkshayHP20
S. Akshay, Loïc Hélouët, Ramchandra Phawade:
Combining free choice and time in Petri nets.
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/KernbergerL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/KernbergerL20
Daniel Kernberger, Martin Lange:
Model checking for hybrid branching-time logics.
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AndreDF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AndreDF20
Étienne André, Benoît Delahaye, Paulin Fournier:
Consistency in Parametric Interval Probabilistic Timed Automata.

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.