Logical Methods in Computer Science, Special Issue 25

> Home > Journals > Logical Methods in Computer Science

Special Issue: Selected papers of the "22nd International Conference on Rewriting Techniques and Applications (RTA '11)" [RTA 2011]

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1203-5121
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1203-5121
Takahito Aoto, Yoshihito Toyama:
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1204-2386
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-2386
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
Quantifier-Free Interpolation of a Theory of Arrays.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1205-0357
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1205-0357
Patrick Bahr:
Modes of Convergence for Term Graph Rewriting.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1205-2519
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1205-2519
Cynthia Kop, Femke van Raamsdonk:
Dynamic Dependency Pairs for Algebraic Functional Systems.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1206-5694
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1206-5694
Naoki Nishida, Masahiko Sakai, Toshiki Sakabe:
Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-0865
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-0865
Aaron Stump, Hans Zantema, Garrin Kimmell, Roba El Haj Omar:
A Rewriting View of Simple Typing.

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.