Works matching IS 18605974 AND DT 2024 AND VI 20 AND IP 1

Results: 11
    1

    COMPOSITIONAL CONFLUENCE CRITERIA.

    Published in:
    Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 1, p. 1, doi. 10.46298/LMCS-20(1:6)2024
    By:
    • KIRAKU SHINTANI;
    • NAO HIROKAWA
    Publication type:
    Article
    2

    DECIDING EQUATIONS IN THE TIME WARP ALGEBRA.

    Published in:
    Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 1, p. 1, doi. 10.46298/LMCS-20(1:8)2024
    By:
    • VAN GOOL, SAM;
    • GUATTO, ADRIEN;
    • METCALFE, GEORGE;
    • SANTSCHI, SIMON
    Publication type:
    Article
    3
    4

    PLAYING SAFE, TEN YEARS LATER.

    Published in:
    Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 1, p. 1, doi. 10.46298/LMCS-20(1:10)2024
    By:
    • COLCOMBET, THOMAS;
    • FIJALKOW, NATHANAËL;
    • HORN, FLORIAN
    Publication type:
    Article
    5

    revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE.

    Published in:
    Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 1, p. 1, doi. 10.46298/LMCS-20(1:11)2024
    By:
    • BOCCHI, LAURA;
    • LANESE, IVAN;
    • MEZZINA, CLAUDIO ANTARES;
    • SHOJI YUEN
    Publication type:
    Article
    6

    LINEAR PROGRAMS WITH CONJUNCTIVE DATABASE QUERIES.

    Published in:
    Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 1, p. 1, doi. 10.46298/LMCS-20(1:9)2024
    By:
    • CAPELLI, FLORENT;
    • CROSETTI, NICOLAS;
    • NIEHREN, JOACHIM;
    • RAMON, JAN
    Publication type:
    Article
    7
    8

    NODE REPLICATION: THEORY AND PRACTICE.

    Published in:
    Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 1, p. 1, doi. 10.46298/LMCS-20(1:5)2024
    By:
    • KESNER, DELIA;
    • PEYROT, LOÏC;
    • VENTURA, DANIEL
    Publication type:
    Article
    9
    10
    11