Showing 1 - 3 results of 3 for search 'Wolfram Kahl', query time: 0.02s Refine Results
  1. 1
    A Simple Parallel Implementation of Interaction Nets in Haskell
    by Wolfram Kahl
    Published 2015-04-01
    Get full text
    Article
  2. 2
    Dependently-Typed Formalisation of Typed Term Graphs
    by Wolfram Kahl
    Published 2011-02-01
    Get full text
    Article
  3. 3
    Semantics-Preserving DPO-Based Term Graph Rewriting
    by Wolfram Kahl, Yuhang Zhao
    Published 2019-02-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search