Treffer 1 – 7 von 7 für Suche 'Toyama, Yoshihito', Suchdauer: 0,04s 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
    Strong sequentiality of left-linear overlapping term rewriting systems

    Strong sequentiality of left-linear overlapping term rewriting systems von Toyama, Yoshihito

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Strong sequentiality of left linear overlapping term rewriting systems

    Strong sequentiality of left linear overlapping term rewriting systems von Toyama, Yoshihito

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Termination for direct sums of left linear complete term rewriting systems

    Termination for direct sums of left linear complete term rewriting systems von Toyama, Yoshihito

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    T, a simple reduction language based on combinatory term rewriting

    T, a simple reduction language based on combinatory term rewriting von Ida, Tetsuo, Toyama, Yoshihito, Aiba, Akira

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Completeness of combinations of constructor systems

    Completeness of combinations of constructor systems von Middeldorp, Aart 1963-, Toyama, Yoshihito

    Veröffentlicht 1990
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Termination for direct sums of left-linear complete term rewriting systems

    Termination for direct sums of left-linear complete term rewriting systems von Toyama, Yoshihito, Klop, Jan Willem 1945-, Barendregt, Hendrik P. 1947-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998

    Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998

    Veröffentlicht 1998
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: