Works matching DE "COMPUTATIONAL group theory"


Results: 15
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12

    BISIMILARITY IN FRESH-REGISTER AUTOMATA.

    Published in:
    Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(113)2025
    By:
    • MURAWSKI, ANDRZEJ S.;
    • RAMSAY, STEVEN J.;
    • TZEVELEKOS, NIKOS
    Publication type:
    Article
    13
    14
    15