Treffer 1 - 10 von 10 für Suche 'Erkens, Rick', Suchdauer: 0,74s Treffer weiter einschränken
  1. 1
    Adaptive Non-linear Pattern Matching Automata

    Adaptive Non-linear Pattern Matching Automata von Erkens, Rick, Laveaux, Maurice


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Optimizing term rewriting with creeper trace transducers

    Optimizing term rewriting with creeper trace transducers von Erkens, Rick


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A Set Automaton to Locate All Pattern Matches in a Term

    A Set Automaton to Locate All Pattern Matches in a Term von Erkens, Rick, Groote, Jan Friso


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Up-to Techniques for Branching Bisimilarity

    Up-to Techniques for Branching Bisimilarity von Erkens, Rick, Rot, Jurriaan, Luttik, Bas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Term Rewriting Based On Set Automaton Matching

    Term Rewriting Based On Set Automaton Matching von Bouwman, Mark, Erkens, Rick

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Adaptive Non-linear Pattern Matching Automata

    Adaptive Non-linear Pattern Matching Automata von Erkens, Rick, Laveaux, Maurice

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A Set Automaton to Locate All Pattern Matches in a Term

    A Set Automaton to Locate All Pattern Matches in a Term von Erkens, Rick, Groote, Jan Friso

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Term Rewriting Based On Set Automaton Matching

    Term Rewriting Based On Set Automaton Matching von Bouwman, Mark, Erkens, Rick

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Up-to Techniques for Branching Bisimilarity

    Up-to Techniques for Branching Bisimilarity von Erkens, Rick, Rot, Jurriaan, Luttik, Bas

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A Set Automaton to Locate All Pattern Matches in a Term

    A Set Automaton to Locate All Pattern Matches in a Term von Erkens, Rick, Groote, Jan Friso

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: