default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 99

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 99, March 2015

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/DuranM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DuranM15
Francisco Durán, Narciso Martí-Oliet:
Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012). 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/TushkanovaGRK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/TushkanovaGRK15
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko:
A rule-based system for automatic decidability and combinability. 3-23
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/EckhardtMMW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/EckhardtMMW15
Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing:
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. 24-74
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BruniCGLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BruniCGLV15
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Modelling and analyzing adaptive self-assembly strategies with Maude. 75-94
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FadlisyahOA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FadlisyahOA15
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám:
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? 95-127
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LepriAO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LepriAO15
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky:
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories. 128-192
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BaeM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BaeM15
Kyungmin Bae, José Meseguer:
Model checking linear temporal logic of rewriting formulas under localized fairness. 193-234
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GutierrezMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GutierrezMR15
Raúl Gutiérrez, José Meseguer, Camilo Rocha:
Order-sorted equality enrichments modulo axioms. 235-261

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.