Termination of term graph rewriting Hans Zantema Technische Universiteit Eindhoven and Radboud Universiteit Nijmegen Joined work with Dennis Nolte and Barbara K¨ onig

Source URL: cl-informatik.uibk.ac.at

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

Source URL: www.ianmackie.com

Efficient implementation of evaluation strategies via token-guided graph rewriting Koko Muroya Dan R. Ghica

Source URL: www.cs.ox.ac.uk

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

Source URL: www.cs.bham.ac.uk

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

Source URL: drops.dagstuhl.de

24. Theorietag „Automaten und Formale Sprachen“ Caputh, 23. – 25. September 2014 Henning Bordihn, Bianca Truthe (Hrsg.)

Source URL: fg-afs.gi.de

• Formal languages
• Grammar
• Language
• Cognitive science
• Formal grammar
• Context-sensitive grammar
• Tree-adjoining grammar
• Context-free grammar
• Regular tree grammar
• Tree automaton
• Regular language
• Graph rewriting

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

Source URL: bultreebank.org

• Graph theory
• Discrete mathematics
• Graph rewriting
• Graph
• Head-driven phrase structure grammar
• Line graph
• Intersection graph

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

Source URL: shukla.io

• Academia
• Applied mathematics
• Philosophy
• Networks
• Statistical models
• Knowledge representation
• Graph theory
• Bayesian network
• Causality
• Artificial neural network
• Motion planning
• Graph rewriting

SynopSys: Foundations for Multidimensional Graph Analytics Michael Rudolf1 , Hannes Voigt1 , Christof Bornhövd2 , and Wolfgang Lehner1 TU Dresden, Database Technology Group, Germany , hannes.voig

Source URL: db.csail.mit.edu

• Graph theory
• Data management
• Information technology management
• Online analytical processing
• Graph rewriting
• Graph
• Connectivity
• Algebraic graph theory
• Intersection graph
• Book:Graph Theory

Industrial-Strength Schema Matching Philip A. Bernstein, Sergey Melnik, Michalis Petropoulos, Christoph Quix Microsoft Research Redmond, WA, U.S.A. {philbe, melnik}@microsoft.com, ,

Source URL: www.cse.buffalo.edu

• Computing
• Data
• Data management
• Databases
• Schema matching
• Schema
• Matching
• XML schema
• Database schema
• Data model
• Graph rewriting