Logical Methods in Computer Science, Special Issue 14

> Home > Journals > Logical Methods in Computer Science

Special Issue: Selected Papers of the Conference "International Colloquium on Automata, Languages and Programming 2008" [ICALP 2008]

- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0905-2539
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0905-2539
Delia Kesner:
A Theory of Explicit Substitutions with Safe and Full Composition.
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0907-2059
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0907-2059
Sylvain Lebresne:
A Type System For Call-By-Name Exceptions.
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1001-2175
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1001-2175
Christian Mathissen:
Weighted Logics for Nested Words and Algebraic Formal Power Series.
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1001-2508
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1001-2508
Bernard Boigelot, Julien Brusten, Véronique Bruyère:
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-2854
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-2854
Mikolaj Bojanczyk, Luc Segoufin:
Tree Languages Defined in First-Order Logic with One Quantifier Alternation.

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.