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