Searching for authors named "Wolfram Kahl" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
The Term Graph Programming System
- …The Term Graph Programming System HOPS Wolfram Kahl Universitat der Bundeswehr Munchen, D-85577…
- Add To MetaCart
-
Compositional Syntax and Semantics of Tables
- …Compositional Syntax and Semantics of Tables Wolfram Kahl Software Quality Research Laboratory…
- Cited by 3 (1 self) – Add To MetaCart
-
The Term Graph Programming System HOPS
- …The Term Graph Programming System HOPS Wolfram Kahl 1 Introduction Programmers of Haskell or ML…
- Cited by 6 (1 self) – Add To MetaCart
-
Relational Treatment of Term Graphs With Bound Variables
- …Relational Treatment of Term Graphs With Bound Variables WOLFRAM KAHL, Department of Computer…
- Cited by 9 (6 self) – Add To MetaCart
-
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators
- …Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators Wolfram Kahl Institut…
- Cited by 1 (0 self) – Add To MetaCart
-
Internally Typed Second-Order Term Graphs
- …Internally Typed Second-Order Term Graphs Wolfram Kahl Institut fr Softwaretechnologie, Fakultt fr…
- Cited by 3 (3 self) – Add To MetaCart
-
Algebraic Graph Derivations for Graphical Calculi
- …Algebraic Graph Derivations for Graphical Calculi Wolfram Kahl Department of Computing Science…
- Cited by 2 (1 self) – Add To MetaCart
-
Collagories for Relational Adhesive Rewriting
- …Collagories for Relational Adhesive Rewriting Wolfram Kahl ∗ kahl@(email omitted); Software Quality…
- Add To MetaCart
-
Relational Treatment of Term Graphs With Bound Variables
- …Relational Treatment of Term Graphs With Bound Variables WOLFRAM KAHL, Department of Computer…
- Add To MetaCart
-
Inequational Deduction as Term Graph Rewriting
- … and Fabio Gadducci 3 Dipartimento di Informatica, Universita di Pisa, Italy Wolfram Kahl 4 Department…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
