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 134

> 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 134, August 2023

Selected papers from 20th Workshop on Programming and Languages (PROLE 2021)

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/BlazquezMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BlazquezMS23
Jorge Blázquez, Manuel Montenegro, Clara Segura:
Verification of mutable linear data structures and iterator-based algorithms in Dafny. 100875

Regular articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/CardelliSTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/CardelliSTTV23
Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Formal lumping of polynomial differential equations through approximate equivalences. 100876

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

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Meseguer23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Meseguer23
José Meseguer:
Variants and satisfiability in the infinitary unification wonderland. 100877

Logic and Calculi for all, Essays Dedicated to Luís Soares Barbosa on the Occasion of His 60th Birthday

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/BackhouseO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BackhouseO23
Roland Carl Backhouse, José Nuno Oliveira:
On difunctions. 100878

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/PeyroneW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/PeyroneW23
Neda Peyrone, Duangdao Wichadakul:
A formal model for blockchain-based consent management in data sharing. 100886
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/EkerMMRV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/EkerMMRV23
Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo:
The Maude strategy language. 100887

Specification and Modelling of Computing Systems through Graphs and Graph Transformation (extended selected papers from ICGT 2022)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BrownPHF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BrownPHF23
Kristopher Brown, Evan Patterson, Tyler Hanks, James P. Fairbanks:
Computational category-theoretic rewriting. 100888

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.