Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Programming, Volume 73

> Home > Journals > Journal of Logic and Algebraic Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 73, Numbers 1-2, September-October 2007

Foundations of Software Science and Computation Structures 2006 (FOSSACS 2006)

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/AcetoI07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/AcetoI07
Luca Aceto, Anna Ingólfsdóttir:
Guest Editors' Foreword. 1
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/EdalatP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/EdalatP07
Abbas Edalat, Dirk Pattinson:
Denotational semantics of hybrid automata. 3-21
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/FrancalanzaH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/FrancalanzaH07
Adrian Francalanza, Matthew Hennessy:
A theory for observational fault tolerance. 22-50
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LodingLS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LodingLS07
Christof Löding, Carsten Lutz, Olivier Serre:
Propositional dynamic logic with recursive programs. 51-69
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/PhillipsU07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/PhillipsU07
Iain C. C. Phillips, Irek Ulidowski:
Reversing algebraic process calculi. 70-96
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Schroder07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Schroder07
Lutz Schröder:
A finite model construction for coalgebraic modal logic. 97-110
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/YorshRSMB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/YorshRSMB07
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani:
A logic of reachable patterns in linked data-structures. 111-142

a service of

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.