A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking

Zbyněk KřivkaZbyněk Křivka, Tomáš MasopustTomáš Masopust

Download

Zbyněk Křivka, Tomáš Masopust
A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking
Proc. of 11th Italian Conference on Theoretical Computer Science (ICTCS), 129-135, 2009

Details
Bibtex

Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{KM2009,
  author    = {Zbyn{\v{e}}k K{\v{r}}ivka and Tom{\'{a}}{\v{s}} Masopust},
  title     = {A Note on the Cooperation in Rewriting Systems with
               Context-Dependency Checking},
  booktitle = {Proc. of 11th Italian Conference on Theoretical Computer Science
               (ICTCS)},
  year      = {2009},
  pages     = {129-135}
}