Works matching IS 14324350 AND DT 2016 AND VI 59 AND IP 2


Results: 8
    1
    2
    3

    Complexity of Fixed-Size Bit-Vector Logics.

    Published in:
    Theory of Computing Systems, 2016, v. 59, n. 2, p. 323, doi. 10.1007/s00224-015-9653-1
    By:
    • Kovásznai, Gergely;
    • Fröhlich, Andreas;
    • Biere, Armin
    Publication type:
    Article
    4
    5
    6

    Multi-weighted Automata and MSO Logic.

    Published in:
    Theory of Computing Systems, 2016, v. 59, n. 2, p. 231, doi. 10.1007/s00224-015-9658-9
    By:
    • Droste, Manfred;
    • Perevoshchikov, Vitaly
    Publication type:
    Article
    7

    Preface.

    Published in:
    2016
    By:
    • Bulatov, A.;
    • Kreutzer, S.
    Publication type:
    Editorial
    8

    Walking on Data Words.

    Published in:
    Theory of Computing Systems, 2016, v. 59, n. 2, p. 180, doi. 10.1007/s00224-014-9603-3
    By:
    • Manuel, Amaldev;
    • Muscholl, Anca;
    • Puppis, Gabriele
    Publication type:
    Article