default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Methods in Programming, Volume 86

> 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 86, Number 1, January 2017

Special Section : Interaction and Concurrency Experience 2015

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LaneseLKV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LaneseLKV17
Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2015. 1
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/MavridouBBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MavridouBBS17
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Configuration logics: Modeling architecture styles. 2-29
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BarbaneraBd17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BarbaneraBd17
Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro:
Orchestrated session compliance. 30-76
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/AubertC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/AubertC17
Clément Aubert, Ioana Cristescu:
Contextual equivalences in configuration structures and reversibility. 77-106
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/GuzmanHPRV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GuzmanHPRV17
Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia:
Belief, knowledge, lies and other utterances in an algebra for space and extrusion. 107-133
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/DokterJAB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DokterJAB17
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze:
Combine and conquer: Relating BIP and Reo. 134-156

Special Section : Rewriting Logic and its Applications(extended selected papers from WRLA 2014)

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Escobar17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Escobar17
Santiago Escobar:
Rewriting Logic and its Applications (extended selected papers from WRLA 2014). 157-158
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BartolettiMSZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BartolettiMSZ17
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino:
Verifiable abstractions for contract-oriented systems. 159-207
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/DuranMOZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DuranMOZ17
Francisco Durán, Antonio Moreno-Delgado, Fernando Orejas, Steffen Zschaler:
Amalgamation of domain specific languages with behaviour. 208-235
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LucasM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LucasM17
Salvador Lucas, José Meseguer:
Dependency pairs for proving termination properties of conditional term rewriting systems. 236-268
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/RochaMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/RochaMM17
Camilo Rocha, José Meseguer, César A. Muñoz:
Rewriting modulo SMT and open system analysis. 269-297

Research Papers

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LuoL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LuoL17
Minxia Luo, Bei Liu:
Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance. 298-307
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/CarayolE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/CarayolE17
Arnaud Carayol, Zoltán Ésik:
An analysis of the equational properties of the well-founded fixed point. 308-318
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/GrohneV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GrohneV17
Helmut Grohne, Janis Voigtländer:
Formalizing semantic bidirectionalization and extensions with dependent types. 319-348
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BravettiGLW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BravettiGLW17
Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong:
Dynamic Rebinding for Concurrent Object Groups: Theory and practice. 349-390
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/UnelT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/UnelT17
Gulay Ünel, David Toman:
Logic programming approach to automata-based decision procedures. 391-407
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/HieronsMN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HieronsMN17
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
An extended framework for passive asynchronous testing. 408-424

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.