default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 126

> 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 126, April 2022

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

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/NigamT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/NigamT22
Vivek Nigam, Carolyn L. Talcott:
Automated construction of security integrity wrappers for Industry 4.0 applications. 100745
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/Eker22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/Eker22
Steven Eker:
Associative unification in Maude. 100747

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/HellingsWGG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/HellingsWGG22
Jelle Hellings, Yuqing Wu, Marc Gyssens, Dirk Van Gucht:
The power of Tarski's relation algebra on trees. 100748
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/LucasVG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/LucasVG22
Salvador Lucas, Miguel Vítores, Raúl Gutiérrez:
Proving and disproving confluence of context-sensitive rewriting. 100749

Special issue on 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2020)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/KramerM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/KramerM22
Richard L. Kramer, Roger D. Maddux:
Monk algebras and Ramsey theory. 100759

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.