default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Methods in Programming, Volume 87

> Home > Journals > Journal of Logic 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 87, February 2017

Research article

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/JayV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/JayV17
Barry Jay, Jose Vergara:
Conflicting accounts of λ-definability. 1-3

Editorial

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Panangaden17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Panangaden17
Prakash Panangaden:
Editorial comments on the short note by Barry Jay. 4

Virtual special issue - NWPT 2015

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/AcetoI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/AcetoI17
Luca Aceto, Anna Ingólfsdóttir:
Preface for the 27th Nordic Workshop on Programming Theory (NWPT 2015). 5
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/NielsonN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/NielsonN17
Hanne Riis Nielson, Flemming Nielson:
Content dependent information flow control. 6-32
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/KaarsgaardAG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/KaarsgaardAG17
Robin Kaarsgaard, Holger Bock Axelsen, Robert Glück:
Join inverse categories and reversible recursion. 33-50

Virtual special issue - WWV 2015

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BeekL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BeekL17
Maurice H. ter Beek, Alberto Lluch-Lafuente:
Automated specification and verification of Web-based applications. 51
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BacciuCGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BacciuCGS17
Davide Bacciu, Antonio Carta, Stefania Gnesi, Laura Semini:
An experience in using machine learning for short-term predictions in smart transportation systems. 52-66
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/MaggiPST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MaggiPST17
Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi:
A language-based approach to modelling and analysis of Twitter interactions. 67-91

Virtual special issue - Trends 2014 & 2015

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/CastellaniM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/CastellaniM17
Ilaria Castellani, Mohammad Reza Mousavi:
Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015). 93
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/KlinN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/KlinN17
Bartek Klin, Beata Nachyla:
Some undecidable properties of SOS specifications. 94-109
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BugliesiCF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BugliesiCF17
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi:
Formal methods for web security. 110-126
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/DelauneH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DelauneH17
Stéphanie Delaune, Lucca Hirschi:
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. 127-144

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.