Logical Methods in Computer Science, Special Issue 1

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 2004 IEEE Symposium on Logic in Computer Science [LICS 2004]

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/GroheS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/GroheS05
Martin Grohe, Nicole Schweikardt:
The succinctness of first-order logic on linear orders.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/SeshiaB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/SeshiaB05
Sanjit A. Seshia, Randal E. Bryant:
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/KuceraEM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/KuceraEM06
Antonín Kucera, Javier Esparza, Richard Mayr:
Model Checking Probabilistic Pushdown Automata.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/NguyenC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/NguyenC06
Phuong Nguyen, Stephen A. Cook:
Theories for TC0 and Other Small Complexity Classes.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/KhoussainovNRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/KhoussainovNRS07
Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan:
Automatic Structures: Richness and Limitations.

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.