Treffer 1 - 3 von 3 für Suche 'Culik, Karel', Suchdauer: 2,02s Treffer weiter einschränken
  1. 1
    The omega-sequence equivalence problem for DOL systems is decidable

    The omega-sequence equivalence problem for DOL systems is decidable von Culik, Karel, Harju, Tero

    Veröffentlicht 1918
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Test sets for context free languages and algebraic systems of equations over a free monoid

    Test sets for context free languages and algebraic systems of equations over a free monoid von Albert, Jürgen, Culik, Karel, Karhumäki, Juhani 1949-

    Veröffentlicht 1981
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Systolic trellis automata (for VLSI)

    Systolic trellis automata (for VLSI) von Culik, Karel, Gruska, Jozef 1933-, Salomaa, Arto 1934-

    Veröffentlicht 1981
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: