some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

   Recent

   In Progress

   Archive

   Proposal

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

SPECIAL ISSUE:
Selected papers of the joint 26th International Conference on "Rewriting Techniques and Applications" and 13th International Conference on "Typed Lambda Calculi and Applications" RTA/TLCA 2015 (in progress)



Preface


Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification
Franz Baader, Stefan Borgwardt and Barbara Morawska


On linear rewriting systems for Boolean logic and some applications to proof theory
Anupam Das and Lutz Strassburger


Creative Commons