default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Methods in Programming, Volume 106

> 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 106, August 2019

Special Issue on The 29th Nordic Workshop on Programming Theory (NWPT 2017)

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/VarshosazLMLM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/VarshosazLMLM19
Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi:
Modal transition system encoding of featured transition systems. 1-28

Regular papers

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/ZhangWSGL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ZhangWSGL19
Jingzhi Zhang, Guohui Wang, Zhiping Shi, Yong Guan, Yongdong Li:
Formalization of functional variation in HOL Light. 29-38

Special Issue on Interaction and Concurrency Experience

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/GhicaA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GhicaA19
Dan R. Ghica, Khulood AlYahya:
Latent semantic analysis of game models using LSTM. 39-54

Special Issue on Relational and Algebraic Methods in Computer Science

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/McIverMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/McIverMR19
A. K. McIver, Carroll C. Morgan, T. M. Rabehaja:
Program algebra for quantitative information flow. 55-77

Regular papers

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/AcetoFGI19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/AcetoFGI19
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Logical characterisations, rule formats and compositionality for input-output conformance simulation. 78-106
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/ZhangL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ZhangL19
Zhongxi Zhang, Qingguo Li:
A uniform approach to completions of posets. 107-116

Special Issue on DaLí-Dynamic Logics, new trends and applications ? Selected contributions

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/SmetsV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/SmetsV19
Sonja Smets, Fernando R. Velázquez-Quesada:
A logical study of group-size based social network creation. 117-140
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/FiadeiroTLP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/FiadeiroTLP19
José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic:
Logics for Actor Networks: A two-stage constrained-hybridisation approach. 141-166

Special Issue on Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT?16)

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/MaciasWRDR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MaciasWRDR19
Fernando Macías, Uwe Wolter, Adrian Rutle, Francisco Durán, Roberto Rodríguez-Echeverría:
Multilevel coupled model transformations for precise and reusable definition of model behaviour. 167-195

Special Issue on Programming Language Approaches to Concurrency and Communication-cEntric Software

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/HallerV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HallerV19
Philipp Haller, Vasco Thudichum Vasconcelos:
Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. 196-197

Special Issue on Relational and Algebraic Methods in Computer Science

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/HofnerPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HofnerPS19
Peter Höfner, Damien Pous, Georg Struth:
Relational and algebraic methods in computer science. 198-199

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.