Search dblp for Publications

export results for "toc:db/conf/termgraph/termgraph2006.bht:"

 download as .bib file

@proceedings{DBLP:conf/termgraph/2006,
  editor       = {Ian Mackie},
  title        = {Proceedings of the Third International Workshop on Term Graph Rewriting,
                  TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/176/issue/1},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/termgraph/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AlmeidaPV07,
  author       = {Jos{\'{e}} Bacelar Almeida and
                  Jorge Sousa Pinto and
                  Miguel Vila{\c{c}}a},
  editor       = {Ian Mackie},
  title        = {A Local Graph-rewriting System for Deciding Equality in Sum-product
                  Theories},
  booktitle    = {Proceedings of the Third International Workshop on Term Graph Rewriting,
                  TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {1},
  pages        = {139--163},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.031},
  doi          = {10.1016/J.ENTCS.2006.10.031},
  timestamp    = {Tue, 31 Jan 2023 10:26:02 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlmeidaPV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AntoyBC07,
  author       = {Sergio Antoy and
                  Daniel W. Brown and
                  Su{-}Hui Chiang},
  editor       = {Ian Mackie},
  title        = {Lazy Context Cloning for Non-Deterministic Graph Rewriting},
  booktitle    = {Proceedings of the Third International Workshop on Term Graph Rewriting,
                  TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {1},
  pages        = {3--23},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.026},
  doi          = {10.1016/J.ENTCS.2006.10.026},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AntoyBC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BaldanGM07,
  author       = {Paolo Baldan and
                  Fabio Gadducci and
                  Ugo Montanari},
  editor       = {Ian Mackie},
  title        = {Modelling Calculi with Name Mobility using Graphs with Equivalences},
  booktitle    = {Proceedings of the Third International Workshop on Term Graph Rewriting,
                  TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {1},
  pages        = {85--97},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.028},
  doi          = {10.1016/J.ENTCS.2006.10.028},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaldanGM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CalvesF07,
  author       = {Christophe Calv{\`{e}}s and
                  Maribel Fern{\'{a}}ndez},
  editor       = {Ian Mackie},
  title        = {Implementing Nominal Unification},
  booktitle    = {Proceedings of the Third International Workshop on Term Graph Rewriting,
                  TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {1},
  pages        = {25--37},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.027},
  doi          = {10.1016/J.ENTCS.2006.09.027},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CalvesF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChitilL07,
  author       = {Olaf Chitil and
                  Yong Luo},
  editor       = {Ian Mackie},
  title        = {Structure and Properties of Traces for Functional Programs},
  booktitle    = {Proceedings of the Third International Workshop on Term Graph Rewriting,
                  TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {1},
  pages        = {39--63},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.032},
  doi          = {10.1016/J.ENTCS.2006.10.032},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChitilL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DuvalEP07,
  author       = {Dominique Duval and
                  Rachid Echahed and
                  Fr{\'{e}}d{\'{e}}ric Prost},
  editor       = {Ian Mackie},
  title        = {Modeling Pointer Redirection as Cyclic Term-graph Rewriting},
  booktitle    = {Proceedings of the Third International Workshop on Term Graph Rewriting,
                  TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {1},
  pages        = {65--84},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.027},
  doi          = {10.1016/J.ENTCS.2006.10.027},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DuvalEP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HovlandNSU07,
  author       = {Paul D. Hovland and
                  Boyana Norris and
                  Michelle Mills Strout and
                  Jean Utke},
  editor       = {Ian Mackie},
  title        = {Term Graphs for Computing Derivatives in Imperative Languages},
  booktitle    = {Proceedings of the Third International Workshop on Term Graph Rewriting,
                  TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {1},
  pages        = {99--111},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.029},
  doi          = {10.1016/J.ENTCS.2006.10.029},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HovlandNSU07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Mackie07,
  author       = {Ian Mackie},
  editor       = {Ian Mackie},
  title        = {Preface},
  booktitle    = {Proceedings of the Third International Workshop on Term Graph Rewriting,
                  TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.025},
  doi          = {10.1016/J.ENTCS.2006.10.025},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Mackie07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Mazza07,
  author       = {Damiano Mazza},
  editor       = {Ian Mackie},
  title        = {Observational Equivalence for the Interaction Combinators and Internal
                  Separation},
  booktitle    = {Proceedings of the Third International Workshop on Term Graph Rewriting,
                  TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {1},
  pages        = {113--137},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.030},
  doi          = {10.1016/J.ENTCS.2006.10.030},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Mazza07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.