Wolfram Kahl  Home/Search
Context Related
| diogenes.informati...l1996a_WG96.ps.gz ist.unibwmuenchen.d...Kahl1996a.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: diogenes.informatik.unibw...pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, but only refer to it for comparison with one of the main streams of related work in the literature. In [BH94], an approach to transformations of expressions in UPAs via transformations of graphs has been presented and proven correct. The approach has been developed with a bias towards VLSI circuit development and the formalisation and drawings reflect this. More or less building on the approach of [BH94], another approach to graphical calculi has been presented in [CL95], where a... (Update)
Context of citations to this paper: More
...by the use of sharing in papers like [AC79,Hes88,KB99] as discussed in Sect. 3, but also, for example, by the graphical calculi of [CL95,Kah97] and by applications to circuit design as in [BH94] 10 Given a multi algebra A : TG Rel, it is not dicult to present the set...
.... on the observation that (suitable kinds of) diagrams can be used to denote relations and to calculate on them: see, among others, [3,14,25]. Therefore on the one hand the use of sharing when reasoning about nondeterministic operations is quite well understood; on the...
Cited by: More
A Functorial Semantics for Multi-Algebras and Partial.. - Corradini, Gadducci (2000) (Correct)
Term Graph Syntax for Multi-Algebras - Corradini, Gadducci, Kahl (2000) (Correct)
Active bibliography (related documents): More All
0.8: Relational Treatment of Term Graphs With Bound Variables - Kahl (1998) (Correct)
0.6: Second-Order Syntax in HOPS and in RALF - Kahl, Hattensperger (1998) (Correct)
0.3: The Higher-Order Programming System User Manual for HOPS Version.. - Kahl (1998) (Correct)
Similar documents based on text: More All
0.2: OCR: Print -- An overview - Belaïd (Correct)
0.1: A Study on Symmetric Quotients - Furusawa, Kahl (1998) (Correct)
0.1: Total-Single-Pushout Derivations for Internal Graph Attribution - Kahl (1998) (Correct)
Related documents from co-citation: More All
2: A mathematical approach to nondeterminism in data types (context) - Hesselink - 1988
2: A complete calculus for multialgebraic and functional semantics of nondeterminis.. - Walicki, Meldal - 1995
2: Algebraic approaches to nondeterminism -- an overview - Walicki, Meldal - 1997
BibTeX entry: (Update)
W. Kahl. Algebraic graph derivations for graphical calculi. In F. D'Amore, P.G. Franciosa, and A. Marchetti-Spaccamela, editors, Graph Theoretic Concepts in Computer Science (WG'96), volume 1197 of LNCS, pages 224-238. Springer Verlag, 1997. http://citeseer.ist.psu.edu/kahl97algebraic.html More
@inproceedings{ kahl96algebraic,
author = "Wolfram Kahl",
title = "Algebraic Graph Derivations for Graphical Calculi",
booktitle = "Workshop on Graph-Theoretic Concepts in Computer Science",
pages = "224-238",
year = "1996",
url = "citeseer.ist.psu.edu/kahl97algebraic.html" }
Citations (may not include all citations):200 Prentice Hall International Series in Computer Science (context) - Spivey, Notation et al. - 1989
116 Introduction to the algebraic theory of graph grammars (context) - Ehrig - 1978
79 Graph-Grammars and Their Application to Computer Science (context) - Ehrig, Kreowski et al. - 1990
47 Relational Methods in Computer Science - Brink, Kahl et al. - 1997
42 EATCS-Monographs on Theoretical Computer Science (context) - Schmidt, Strohlein et al. - 1993
37 Tutorial introduction to the algebraic approach of graph gra.. (context) - Ehrig, Korff et al.
18 volume 39 of North-Holland Mathematical Library (context) - Freyd, Scedrov et al. - 1990
16 Graph rewriting in some categories of partial morphisms - Kennaway
13 Algebraic approach to graph transformation based on single p.. (context) - Lowe - 1990
11 allegories and circuit design (context) - Brown, Hutton - 1994
9 Algebraische Termgraphersetzung mit gebundenen Variablen (context) - Kahl - 1996
8 A finitary relational algebra for classical first-order logi.. (context) - Veloso, Haeberer - 1991
7 A graphical calculus - Curtis, Lowe - 1995
4 The Higher-Object Programming System (context) - Bayer, Kahl - 1994
4 Kategorien von Termgraphen mit gebundenen Variablen (context) - Kahl - 1995
1 Aspects of typed term graphs (context) - Kahl - 1995
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC