1 research outputs found

    A Type System for Weighted Automata and Rational Expressions

    No full text
    corecore