Logical Methods in Computer Science, Special Issue 6

> Home > Journals > Logical Methods in Computer Science

Selected Papers of the Conference "Computer Science Logic 2006" [CSL 2006]

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/Aehlig07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/Aehlig07
Klaus Aehlig:
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/CortierRZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/CortierRZ07
Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu:
Relating two standard notions of secrecy.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/RaskinCDH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/RaskinCDH07
Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Algorithms for Omega-Regular Games with Imperfect Information.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/Rabinovich07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/Rabinovich07
Alexander Rabinovich:
The Church Synthesis Problem with Parameters.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/AtassiBT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/AtassiBT07
Vincent Atassi, Patrick Baillot, Kazushige Terui:
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/Moczydlowski08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/Moczydlowski08
Wojciech Moczydlowski:
Normalization of IZF with Replacement.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/Abel08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/Abel08
Andreas Abel:
Semi-Continuous Sized Types and Termination.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0904-2521
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0904-2521
Florent R. Madelaine:
Universal Structures and the logic of Forbidden Patterns.

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.