Treffer 1 – 10 von 10 für Suche 'Kahl, Wolfram', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Exploring (finite) relation algebras using tools written in Haskell

    Exploring (finite) relation algebras using tools written in Haskell von Kahl, Wolfram, Schmidt, Gunther 1939-

    Veröffentlicht 2000
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A study on symmetric quotients

    A study on symmetric quotients von Furusawa, Hitoshi, Kahl, Wolfram

    Veröffentlicht 1998
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A fibred approach to rewriting how the duality between adding and deleting cooperates with the difference between matching and rewriting

    A fibred approach to rewriting how the duality between adding and deleting cooperates with the difference between matching and rewriting von Kahl, Wolfram

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Kategorien von Termgraphen mit gebundenen Variablen

    Kategorien von Termgraphen mit gebundenen Variablen von Kahl, Wolfram

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Editor combinators a first account

    Editor combinators a first account von Kahl, Wolfram, Braun, Oliver, Scheffczyk, Jan 1977-

    Veröffentlicht 2000
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Psychische Faktoren bei Nahrungsmittelallergien

    Psychische Faktoren bei Nahrungsmittelallergien von Kahl, Wolfram 1962-

    Veröffentlicht 1998
    Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A relation-algebraic approach to graph structure transformation

    A relation-algebraic approach to graph structure transformation von Kahl, Wolfram

    Veröffentlicht 2002
    Volltext öffnen
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A framework for user-friendly declarative typing systems

    A framework for user-friendly declarative typing systems von Kahl, Wolfram

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Algebraische Termgraphersetzung mit gebundenen Variablen

    Algebraische Termgraphersetzung mit gebundenen Variablen von Kahl, Wolfram

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Relational and algebraic methods in computer science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, proceedings

    Relational and algebraic methods in computer science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, proceedings

    Veröffentlicht 2015
    Weitere Verfasser: “… Kahl, Wolfram …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: