Logical Methods in Computer Science, Special Issue 6

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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)
  - details & 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.

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.