Logical Methods in Computer Science, Special Issue 18

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

Special Issue of the 20th International Conference on Rewriting Techniques and Applications 2009 [RTA 2009]

- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1005-5648
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1005-5648
Jörg Endrullis, Dimitri Hendriks:
Transforming Outermost into Context-Sensitive Rewriting.
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1005-4508
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1005-4508
Alwen Tiu, Rajeev Goré, Jeremy E. Dawson:
A Proof Theoretic Analysis of Intruder Theories.
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1006-2289
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-2289
Franz Baader, Barbara Morawska:
Unification in the Description Logic EL.
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1006-2944
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-2944
Stefan Kahrs:
Modularity of Convergence and Strong Convergence in Infinitary Rewriting.
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1006-4955
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-4955
Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann:
Local Termination: theory and practice.
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1008-2590
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1008-2590
Hans Zantema:
Well-definedness of Streams by Transformation and Termination.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-1066
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-1066
Marc de Falco:
An Explicit Framework for Interaction Nets.

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.