default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 125

> 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 125, February 2022

Special issue on 'E pur si muove' (A tribute to José Manuel Esgalhado Valença on the occasion of his Jubilation)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BenevidesMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BenevidesMM22
Mario Roberto Folhadela Benevides, Alexandre Madeira, Manuel A. Martins:
Graded epistemic logic with public announcement. 100732

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

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/TokasOR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/TokasOR22
Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani:
Static checking of GDPR-related privacy compliance for object-oriented distributed systems. 100733

Special issue on Relational and Algebraic Methods in Computer Science 2018

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/KozenS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/KozenS22
Dexter Kozen, Matvey Soloviev:
Coalgebraic tools for randomness-conserving protocols. 100734

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BavendiekS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BavendiekS22
Kai Bavendiek, Sibylle Schupp:
A process calculus for privacy-preserving protocols in location-based service systems. 100735

Special issue on 'E pur si muove' (A tribute to José Manuel Esgalhado Valença on the occasion of his Jubilation)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AlmeidaBBPPP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AlmeidaBBPPP22
José Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela:
A formal treatment of the role of verified compilers in secure computation. 100736

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/HuangC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/HuangC22
Samuel Huang, Rance Cleaveland:
A tableau construction for finite linear-time temporal logic. 100743

Book review

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BarwellFY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BarwellFY22
Adam D. Barwell, Francisco Ferreira, Nobuko Yoshida:
CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce. 100744

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BelkhirRNL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BelkhirRNL22
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner:
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points. 100746

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.