default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 123

> 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 123, November 2021

Rewriting Logic and Its Applications. 13th International Workshop, WRLA 2020, Revised Selected Papers

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Thiemann21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Thiemann21
René Thiemann:
A Perron-Frobenius theorem for deciding matrix growth. 100699
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/RubioMPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/RubioMPV21
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Strategies, model checking and branching-time properties in Maude. 100700

Special issue on Dynamic Logic: New Trends and Applications

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AbarcaB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AbarcaB21
Aldo Iván Ramírez Abarca, Jan M. Broersen:
Stit semantics for epistemic notions based on information disclosure in interactive settings. 100708

Rewriting Logic and Its Applications. 13th International Workshop, WRLA 2020, Revised Selected Papers

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/DuranRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/DuranRS21
Francisco Durán, Camilo Rocha, Gwen Salaün:
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude. 100711

Special issue on Interaction and Concurrency Experience - ICE 2020

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/CotoGT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/CotoGT21
Alex Coto, Roberto Guanciale, Emilio Tuosto:
An abstract framework for choreographic testing. 100712

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/KrasanakisS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/KrasanakisS21
Emmanouil Krasanakis, Andreas L. Symeonidis:
Defining behaviorizeable relations to enable inference in semi-automatic program synthesis. 100714

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

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Rusu21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Rusu21
Vlad Rusu:
Guest Editor's foreword. 100716

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.