Works matching IS 18605974 AND DT 2022 AND VI 18 AND IP 4

Results: 13

QUASILINEAR-TIME COMPUTATION OF GENERIC MODAL WITNESSES FOR BEHAVIOURAL INEQUIVALENCE.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:6)2022

By:

WISSMANN, THORSTEN;
MILIUS, STEFAN;
SCHRÖDER, LUTZ

Publication type:

Article

LINEAR EQUATIONS FOR UNORDERED DATA VECTORS IN [D]<sup>k</sup> → Z<sup>d</sup>.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:11)2022

By:

HOFMAN, PIOTR;
RÓŻYCKI, JAKUB

Publication type:

Article

CONVEXITY VIA WEAK DISTRIBUTIVE LAWS.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:8)2022

By:

BONCHI, FILIPPO;
SANTAMARIA, ALESSIO

Publication type:

Article

GEOMETRIC MODEL CHECKING OF CONTINUOUS SPACE.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:7)2022

By:

BEZHANISHVILI, NICK;
CIANCIA, VINCENZO;
GABELAIA, DAVID;
GRILLETTI, GIANLUCA;
LATELLA, DIEGO;
MASSINK, MIEKE

Publication type:

Article

INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH'S THESIS AND THE AXIOM OF CHOICE.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:5)2022

By:

MAIETTI, MARIA EMILIA;
MASCHIO, SAMUELE;
RATHJEN, MICHAEL

Publication type:

Article

CONVERSE EXTENSIONALITY AND APARTNESS.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:13)2022

By:

VAN DEN BERG, BENNO;
PASSMANN, ROBERT

Publication type:

Article

BUILDING SPECIFICATIONS IN THE EVENT-B INSTITUTION.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:4)2022

By:

FARRELL, MARIE;
MONAHAN, ROSEMARY;
POWER, JAMES F.

Publication type:

Article

A THEORY OF AUTOMATED MARKET MAKERS IN DEFI.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:12)2022

By:

BARTOLETTI, MASSIMO;
HSIN-YU CHIANG, JAMES;
LLUCH-LAFUENTE, ALBERTO

Publication type:

Article

GENERAL DECIDABILITY RESULTS FOR ASYNCHRONOUS SHARED-MEMORY PROGRAMS: HIGHER-ORDER AND BEYOND.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:2)2022

By:

MAJUMDAR, RUPAK;
THINNIYAM, RAMANATHAN S.;
ZETZSCHE, GEORG

Publication type:

Article

AN ANALYTIC PROPOSITIONAL PROOF SYSTEM ON GRAPHS.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:1)2022

By:

ACCLAVIO, MATTEO;
HORNE, ROSS;
STRASSBURGER, LUTZ

Publication type:

Article

ALGEBRAIC COHERENT CONFLUENCE AND HIGHER GLOBULAR KLEENE ALGEBRAS.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:9)2022

By:

CALK, CAMERON;
GOUBAULT, ERIC;
MALBOS, PHILIPPE;
STRUTH, GEORG

Publication type:

Article

UNIFORM RELIABILITY OF SELF-JOIN-FREE CONJUNCTIVE QUERIES.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:3)2022

By:

AMARILLI, ANTOINE;
KIMELFELD, BENNY

Publication type:

Article

COALGEBRAIC GEOMETRIC LOGIC: BASIC THEORY.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:10)2022

By:

BEZHANISHVILI, NICK;
DE GROOT, JIM;
VENEMA, YDE

Publication type:

Article