default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 124

> 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 124, January 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/BickfordKS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BickfordKS22
Mark Bickford, Dexter Kozen, Alexandra Silva:
Formalizing Moessner's theorem and generalizations in Nuprl. 100713

Special issue on Programming Language Approaches to Concurrency and Communication-centric Software (PLACES) 2020

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/DardhaP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/DardhaP22
Ornela Dardha, Jorge A. Pérez:
Comparing type systems for deadlock freedom. 100717

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/PhilippouP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/PhilippouP22
Anna Philippou, Kyriaki Psara:
Reversible computation in nets with bonds. 100718

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

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/StehrKT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/StehrKT22
Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott:
A probabilistic approximate logic for neuro-symbolic learning and reasoning. 100719

Special issue on Programming Language Approaches to Concurrency and Communication-centric Software (PLACES) 2020

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/GraversenPY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/GraversenPY22
Eva Graversen, Iain Phillips, Nobuko Yoshida:
Event structures for the reversible early internal π-calculus. 100720

Selected papers from the 6th and 7th Workshops on Rewriting Techniques for Program Transformations and Evaluation

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/RubioMPV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/RubioMPV22
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Simulating and model checking membrane systems using strategies in Maude. 100727
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/RubioMPV22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/RubioMPV22a
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo:
Metalevel transformation of strategies. 100728
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/AlpuenteBES22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/AlpuenteBES22
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña:
Optimization of rewrite theories by equational partial evaluation. 100729

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BackhouseDGW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BackhouseDGW22
Roland Carl Backhouse, Henk Doornbos, Roland Glück, Jaap van der Woude:
Components and acyclicity of graphs. An exercise in combining precision with concision. 100730

Special issue on Programming Language Approaches to Concurrency and Communication-centric Software (PLACES) 2020

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/GommerstadtJP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/GommerstadtJP22
Hannah Gommerstadt, Limin Jia, Frank Pfenning:
Session-typed concurrent contracts. 100731

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.