default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 126

> 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 126, September 2016

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BragaM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BragaM16
Christiano Braga, Narciso Martí-Oliet:
Preface to SCP special issue with extended selected papers from SBMF 2014. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CalegariMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CalegariMS16
Daniel Calegari, Till Mossakowski, Nora Szasz:
Heterogeneous verification in the context of model driven engineering. 3-30
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Ciaffaglione16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Ciaffaglione16
Alberto Ciaffaglione:
Towards Turing computability via coinduction. 31-51
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MoraesAM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MoraesAM16
Alan Moraes, Wilkerson de L. Andrade, Patrícia D. L. Machado:
A family of test selection criteria for Timed Input-Output Symbolic Transition System models. 52-72
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NevesMMB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NevesMMB16
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Proof theory for hybrid(ised) logics. 73-93
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/TimmG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/TimmG16
Nils Timm, Stefan Gruner:
Parameterised three-valued model checking. 94-110

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.