Search dblp for Publications

• > Home > Search

@proceedings{DBLP:journals/corr/abs-1902-01510,
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Proceedings Tenth International Workshop on Computing with Terms and
                  Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018},
  series       = {{EPTCS}},
  volume       = {288},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.288},
  doi          = {10.4204/EPTCS.288},
  timestamp    = {Wed, 29 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-01510.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1809-03814,
  author       = {Vladimir Zamdzhiev},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {A Framework for Rewriting Families of String Diagrams},
  booktitle    = {Proceedings Tenth International Workshop on Computing with Terms and
                  Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018},
  series       = {{EPTCS}},
  volume       = {288},
  pages        = {63--76},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.288.6},
  doi          = {10.4204/EPTCS.288.6},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-03814.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1902-02010,
  author       = {Clemens Grabmayer},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Modeling Terms by Graphs with Structure Constraints (Two Illustrations)},
  booktitle    = {Proceedings Tenth International Workshop on Computing with Terms and
                  Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018},
  series       = {{EPTCS}},
  volume       = {288},
  pages        = {1--13},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.288.1},
  doi          = {10.4204/EPTCS.288.1},
  timestamp    = {Wed, 29 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-02010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1902-02011,
  author       = {Wolfram Kahl and
                  Yuhang Zhao},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Semantics-Preserving DPO-Based Term Graph Rewriting},
  booktitle    = {Proceedings Tenth International Workshop on Computing with Terms and
                  Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018},
  series       = {{EPTCS}},
  volume       = {288},
  pages        = {26--37},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.288.3},
  doi          = {10.4204/EPTCS.288.3},
  timestamp    = {Wed, 29 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-02011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1902-02012,
  author       = {Mitsuhiro Okada and
                  Yuta Takahashi},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {On Quasi Ordinal Diagram Systems},
  booktitle    = {Proceedings Tenth International Workshop on Computing with Terms and
                  Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018},
  series       = {{EPTCS}},
  volume       = {288},
  pages        = {38--49},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.288.4},
  doi          = {10.4204/EPTCS.288.4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-02012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1902-02013,
  author       = {J{\'{a}}nos Varga},
  editor       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  title        = {Finding the Transitive Closure of Functional Dependencies using Strategic
                  Port Graph Rewriting},
  booktitle    = {Proceedings Tenth International Workshop on Computing with Terms and
                  Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018},
  series       = {{EPTCS}},
  volume       = {288},
  pages        = {50--62},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.288.5},
  doi          = {10.4204/EPTCS.288.5},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-02013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}