Works matching IS 18605974 AND DT 2018 AND VI 14 AND IP 3

Results: 3

  • THE COVERING PROBLEM.

    Published in:
    Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:1)2018
    By:
    • PLACE, THOMAS;
    • ZEITOUN, MARC
    Publication type:
    Article

  • RELATIONAL GRAPH MODELS AT WORK.

    Published in:
    Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:2)2018
    By:
    • BREUVART, FLAVIEN;
    • MANZONETTO, GIULIO;
    • RUOPPOLO, DOMENICO
    Publication type:
    Article

  • THE INTUITIONISTIC TEMPORAL LOGIC OF DYNAMICAL SYSTEMS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:3)2018
    By:
    • FERNÁNDEZ-DUQUE, DAVID
    Publication type:
    Article