Zum Inhalt springen

  1. Otto, Friedrich [VerfasserIn] ; Wrathall, Celia [Sonstige Person, Familie und Körperschaft]

    Characterizations of overlaps in free partially commutative monoids

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1988

    Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 18400

  2. Sattler-Klein, Andrea [VerfasserIn]

    The SMOV-strategy : a strategy that can be used to complete a string rewriting system by the Knuth-Bendix algorithm

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1988

    Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 18500

  3. Beilken, Christian [VerfasserIn]; Mattern, Friedemann [VerfasserIn]; Spenke, Michael [VerfasserIn]

    Entwurf und Implementierung von CSSA / Programm-Dokumentation, 2

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kaiserslautern: Univ. Kaiserslautern, 1983

    Erschienen in: Entwurf und Implementierung von CSSA / Christian Beilken; Friedemann Mattern; Michael Spenke ; e,2 - Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 67,e,2

  4. Beilken, Christian [VerfasserIn]; Mattern, Friedemann [VerfasserIn]; Spenke, Michael [VerfasserIn]

    Entwurf und Implementierung von CSSA / A, Konzepte

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kaiserslautern: Univ. Kaiserslautern, 1983

    Erschienen in: Entwurf und Implementierung von CSSA / Christian Beilken; Friedemann Mattern; Michael Spenke ; A - Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 67,a

  5. Beilken, Christian [VerfasserIn]; Mattern, Friedemann [VerfasserIn]; Spenke, Michael [VerfasserIn]

    Entwurf und Implementierung von CSSA / B, CSSA-Sprachbeschreibung

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kaiserslautern: Univ. Kaiserslautern, 1983

    Erschienen in: Entwurf und Implementierung von CSSA / Christian Beilken; Friedemann Mattern; Michael Spenke ; B - Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 67,b

  6. Beilken, Christian [VerfasserIn]; Mattern, Friedemann [VerfasserIn]; Spenke, Michael [VerfasserIn]

    Entwurf und Implementierung von CSSA / C, CSSA-Systembenutzung

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kaiserslautern: Univ. Kaiserslautern, 1983

    Erschienen in: Entwurf und Implementierung von CSSA / Christian Beilken; Friedemann Mattern; Michael Spenke ; C - Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 67,c

  7. Beilken, Christian [VerfasserIn]; Mattern, Friedemann [VerfasserIn]; Spenke, Michael [VerfasserIn]

    Entwurf und Implementierung von CSSA / D, CSSA-Programmbeispiele

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kaiserslautern: Univ. Kaiserslautern, 1983

    Erschienen in: Entwurf und Implementierung von CSSA / Christian Beilken; Friedemann Mattern; Michael Spenke ; D - Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 67,d

  8. Beilken, Christian [VerfasserIn]; Mattern, Friedemann [VerfasserIn]; Spenke, Michael [VerfasserIn]

    Entwurf und Implementierung von CSSA / Programm-Dokumentation, 1

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kaiserslautern: Univ. Kaiserslautern, 1983

    Erschienen in: Entwurf und Implementierung von CSSA / Christian Beilken; Friedemann Mattern; Michael Spenke ; e,1 - Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 67,e,2

  9. Avenhaus, J. [VerfasserIn] ; Madlener, K. [Sonstige Person, Familie und Körperschaft]

    An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kaiserslautern: Fachbereich Informatik, Univ., 1979

    Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 1600