default search action

combined dblp search
author search
venue search
publication search

ask others

Logic for Concurrency and Synchronisation, 2003

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/kl/03/Q2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/kl/03/Q2003
Ruy J. G. B. de Queiroz:
Logic for Concurrency and Synchronisation. Trends in Logic 18, Kluwer 2003, ISBN 978-1-4020-1270-9
- view
  authority control:
- export record
  dblp key:
  - books/kl/03/OliveiraQ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/kl/03/OliveiraQ03
Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz:
Geometry of Deduction Via Graphs of Proofs. 3-88
- view
  authority control:
- export record
  dblp key:
  - books/kl/03/Bellin03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/kl/03/Bellin03
Gianluigi Bellin:
Chu's Construction: A Proof-Theoretic Approach. 89-109
- view
  authority control:
- export record
  dblp key:
  - books/kl/03/Bellin03a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/kl/03/Bellin03a
Gianluigi Bellin:
Two Paradigms of Logical Computation in Affine Logic? 111-144
- view
  authority control:
- export record
  dblp key:
  - books/kl/03/Dam03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/kl/03/Dam03
Mads Dam:
Proof Systems for π-Calculus Logics. 145-212
- view
  authority control:
- export record
  dblp key:
  - books/kl/03/Deharbe03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/kl/03/Deharbe03
David Déharbe:
A Tutorial Introduction to Symbolic Model Checking. 215-237
- view
  authority control:
- export record
  dblp key:
  - books/kl/03/Benevides03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/kl/03/Benevides03
Mario R. F. Benevides:
Modal Logics for Finite Graphs. 239-267
- view
  authority control:
- export record
  dblp key:
  - books/kl/03/Stirling03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/kl/03/Stirling03
Colin Stirling:
Bisimulation and Language Equivalence. 269-284

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.