1![Termination of term graph rewriting Hans Zantema Technische Universiteit Eindhoven and Radboud Universiteit Nijmegen Joined work with Dennis Nolte and Barbara K¨ onig Termination of term graph rewriting Hans Zantema Technische Universiteit Eindhoven and Radboud Universiteit Nijmegen Joined work with Dennis Nolte and Barbara K¨ onig](https://www.pdfsearch.io/img/94afa239afda65720b1eb09cf6517577.jpg) | Add to Reading ListSource URL: cl-informatik.uibk.ac.atLanguage: English - Date: 2016-09-11 10:17:32
|
---|
2![In-place Graph Rewriting with Interaction Nets Ian Mackie Shinya Sato An algorithm is in-place, or runs in-situ, when it does not need any additional memory to execute In-place Graph Rewriting with Interaction Nets Ian Mackie Shinya Sato An algorithm is in-place, or runs in-situ, when it does not need any additional memory to execute](https://www.pdfsearch.io/img/394446b41aea1d0040d7cb961c5f5b4a.jpg) | Add to Reading ListSource URL: www.ianmackie.comLanguage: English - Date: 2018-02-23 17:17:29
|
---|
3![Efficient implementation of evaluation strategies via token-guided graph rewriting Koko Muroya Dan R. Ghica Efficient implementation of evaluation strategies via token-guided graph rewriting Koko Muroya Dan R. Ghica](https://www.pdfsearch.io/img/32919240b306e6faf9117ee4373a817a.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.uk- Date: 2017-09-09 06:01:35
|
---|
4![Categorical Semantics of Digital Circuits Dan R. Ghica, Achim Jung University of Birmingham, UK Abstract—This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. Th Categorical Semantics of Digital Circuits Dan R. Ghica, Achim Jung University of Birmingham, UK Abstract—This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. Th](https://www.pdfsearch.io/img/55337e30dc82fa6a015b71d5297ef4a1.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.uk- Date: 2016-08-30 09:47:27
|
---|
5![Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus Niels Bjørn Bugge Grathwohl1 , Jeroen Ketema2 , Jens Duelund Pallesen1 , and Jakob Grue Simonsen1 1 Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus Niels Bjørn Bugge Grathwohl1 , Jeroen Ketema2 , Jens Duelund Pallesen1 , and Jakob Grue Simonsen1 1](https://www.pdfsearch.io/img/f82d3f5a7c3060a862072d141fbd5ef8.jpg) | Add to Reading ListSource URL: drops.dagstuhl.de- Date: 2011-04-26 05:41:56
|
---|
6![24. Theorietag „Automaten und Formale Sprachen“ Caputh, 23. – 25. September 2014 Henning Bordihn, Bianca Truthe (Hrsg.) 24. Theorietag „Automaten und Formale Sprachen“ Caputh, 23. – 25. September 2014 Henning Bordihn, Bianca Truthe (Hrsg.)](https://www.pdfsearch.io/img/3db046115c5816cd92b561487d16aa04.jpg) | Add to Reading ListSource URL: fg-afs.gi.deLanguage: English - Date: 2015-10-19 16:22:16
|
---|
7![Incremental Specialization of an HPSG-Based Annotation Scheme Kiril Simov, Milen Kouylekov, Alexander Simov BulTreeBank Project http://www.BulTreeBank.org Linguistic Modelling Laboratory, Bulgarian Academy of Sciences Ac Incremental Specialization of an HPSG-Based Annotation Scheme Kiril Simov, Milen Kouylekov, Alexander Simov BulTreeBank Project http://www.BulTreeBank.org Linguistic Modelling Laboratory, Bulgarian Academy of Sciences Ac](https://www.pdfsearch.io/img/1a25d28f609eb4631de4e143072b29cf.jpg) | Add to Reading ListSource URL: bultreebank.orgLanguage: English - Date: 2003-12-07 15:19:14
|
---|
8![Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understand Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understand](https://www.pdfsearch.io/img/fbdc7539ef636b0f116b8a1eed11749b.jpg) | Add to Reading ListSource URL: shukla.ioLanguage: English - Date: 2016-02-23 23:39:56
|
---|
9![SynopSys: Foundations for Multidimensional Graph Analytics Michael Rudolf1 , Hannes Voigt1 , Christof Bornhövd2 , and Wolfgang Lehner1 TU Dresden, Database Technology Group, Germany , hannes.voig SynopSys: Foundations for Multidimensional Graph Analytics Michael Rudolf1 , Hannes Voigt1 , Christof Bornhövd2 , and Wolfgang Lehner1 TU Dresden, Database Technology Group, Germany , hannes.voig](https://www.pdfsearch.io/img/16877e3ddc2726e5d7ab1413d2376eec.jpg) | Add to Reading ListSource URL: db.csail.mit.eduLanguage: English - Date: 2014-08-28 09:45:03
|
---|
10![Industrial-Strength Schema Matching Philip A. Bernstein, Sergey Melnik, Michalis Petropoulos, Christoph Quix Microsoft Research Redmond, WA, U.S.A. {philbe, melnik}@microsoft.com, , Industrial-Strength Schema Matching Philip A. Bernstein, Sergey Melnik, Michalis Petropoulos, Christoph Quix Microsoft Research Redmond, WA, U.S.A. {philbe, melnik}@microsoft.com, ,](https://www.pdfsearch.io/img/8f223953d42aa1d7b478f0b32ee8da2f.jpg) | Add to Reading ListSource URL: www.cse.buffalo.eduLanguage: English - Date: 2006-01-19 08:47:46
|
---|