{"paper":{"title":"Proceedings 6th International Workshop on Computing with Terms and Graphs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.LO","authors_text":"Rachid Echahed","submitted_at":"2011-02-11T02:27:39Z","abstract_excerpt":"This volume   contains the  proceedings  of  the  Sixth  International Workshop  on Computing with  Terms and Graphs   (TERMGRAPH 2011).  The workshop  took place in  Saarbruecken, Germany, on  April 2nd, 2011, as part of the  fourteenth edition of  the European Joint Conferences  on Theory and  Practice of Software (ETAPS  2011).  Research in  term and graph rewriting ranges from theoretical questions to practical issues. Computing with graphs handles the sharing  of common subexpressions in a   natural  and seamless   way,   and  improves    the  efficiency of computations in   space and tim"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.2268","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}