Works matching IS 14324350 AND DT 2020 AND VI 64 AND IP 3


Results: 9
    1
    2
    3
    4
    5

    Additive Number Theory via Automata Theory.

    Published in:
    Theory of Computing Systems, 2020, v. 64, n. 3, p. 542, doi. 10.1007/s00224-019-09929-9
    By:
    • Rajasekaran, Aayush;
    • Shallit, Jeffrey;
    • Smith, Tim
    Publication type:
    Article
    6

    Dependences in Strategy Logic.

    Published in:
    Theory of Computing Systems, 2020, v. 64, n. 3, p. 467, doi. 10.1007/s00224-019-09926-y
    By:
    • Gardy, Patrick;
    • Bouyer, Patricia;
    • Markey, Nicolas
    Publication type:
    Article
    7
    8
    9