Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/termgraph/termgraph2002.bht:"
@proceedings{DBLP:conf/termgraph/2002, editor = {Ian Mackie and Detlef Plump}, title = {Proceedings of the First International Workshop on Term Graph Rewriting, {TERMGRAPH} 2002, Barcelona, Spain, October 7, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {1}, publisher = {Elsevier}, year = {2007}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/72/issue/1}, timestamp = {Tue, 06 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/termgraph/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Bakewell07, author = {Adam Bakewell}, editor = {Ian Mackie and Detlef Plump}, title = {Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency}, booktitle = {Proceedings of the First International Workshop on Term Graph Rewriting, {TERMGRAPH} 2002, Barcelona, Spain, October 7, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {1}, pages = {3--16}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/j.entcs.2002.09.002}, doi = {10.1016/J.ENTCS.2002.09.002}, timestamp = {Tue, 06 Dec 2022 15:31:28 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Bakewell07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Blom07, author = {Stefan Blom}, editor = {Ian Mackie and Detlef Plump}, title = {Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting}, booktitle = {Proceedings of the First International Workshop on Term Graph Rewriting, {TERMGRAPH} 2002, Barcelona, Spain, October 7, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {1}, pages = {17--29}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/j.entcs.2002.09.003}, doi = {10.1016/J.ENTCS.2002.09.003}, timestamp = {Tue, 06 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Blom07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CorradiniGKK07, author = {Andrea Corradini and Fabio Gadducci and Wolfram Kahl and Barbara K{\"{o}}nig}, editor = {Ian Mackie and Detlef Plump}, title = {Inequational Deduction as Term Graph Rewriting}, booktitle = {Proceedings of the First International Workshop on Term Graph Rewriting, {TERMGRAPH} 2002, Barcelona, Spain, October 7, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {1}, pages = {31--44}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/j.entcs.2002.09.004}, doi = {10.1016/J.ENTCS.2002.09.004}, timestamp = {Tue, 06 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CorradiniGKK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FernandezMP07, author = {Maribel Fern{\'{a}}ndez and Ian Mackie and Jorge Sousa Pinto}, editor = {Ian Mackie and Detlef Plump}, title = {A Higher-Order Calculus for Graph Transformation}, booktitle = {Proceedings of the First International Workshop on Term Graph Rewriting, {TERMGRAPH} 2002, Barcelona, Spain, October 7, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {1}, pages = {45--58}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/j.entcs.2002.09.005}, doi = {10.1016/J.ENTCS.2002.09.005}, timestamp = {Tue, 06 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FernandezMP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Grabmayer07, author = {Clemens Grabmayer}, editor = {Ian Mackie and Detlef Plump}, title = {A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs}, booktitle = {Proceedings of the First International Workshop on Term Graph Rewriting, {TERMGRAPH} 2002, Barcelona, Spain, October 7, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {1}, pages = {59--74}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/j.entcs.2002.09.007}, doi = {10.1016/J.ENTCS.2002.09.007}, timestamp = {Tue, 06 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Grabmayer07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Lippi07, author = {Sylvain Lippi}, editor = {Ian Mackie and Detlef Plump}, title = {Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus}, booktitle = {Proceedings of the First International Workshop on Term Graph Rewriting, {TERMGRAPH} 2002, Barcelona, Spain, October 7, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {1}, pages = {75--86}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/j.entcs.2002.09.006}, doi = {10.1016/J.ENTCS.2002.09.006}, timestamp = {Tue, 06 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Lippi07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MackieP07, author = {Ian Mackie and Detlef Plump}, editor = {Ian Mackie and Detlef Plump}, title = {Preface}, booktitle = {Proceedings of the First International Workshop on Term Graph Rewriting, {TERMGRAPH} 2002, Barcelona, Spain, October 7, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {1}, pages = {1--2}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/j.entcs.2002.09.001}, doi = {10.1016/J.ENTCS.2002.09.001}, timestamp = {Tue, 06 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MackieP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Ohlebusch07, author = {Enno Ohlebusch}, editor = {Ian Mackie and Detlef Plump}, title = {Conditional Term Graph Rewriting with Indirect Sharing}, booktitle = {Proceedings of the First International Workshop on Term Graph Rewriting, {TERMGRAPH} 2002, Barcelona, Spain, October 7, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {1}, pages = {87--100}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/j.entcs.2002.09.008}, doi = {10.1016/J.ENTCS.2002.09.008}, timestamp = {Tue, 06 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Ohlebusch07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.