Works matching IS 18605974 AND DT 2025 AND VI 21 AND IP 1

Results: 13

RANDOM DETERMINISTIC AUTOMATA WITH ONE ADDED TRANSITION.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(111)2025

By:

CARAYOL, ARNAUD;
DUCHON, PHILIPPE;
KOECHLIN, FLORENT;
NICAUD, CYRIL

Publication type:

Article

CHECKPOINT-BASED ROLLBACK RECOVERY IN SESSION-BASED PROGRAMMING.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(12)2025

By:

MEZZINA, CLAUDIO ANTARES;
TIEZZI, FRANCESCO;
YOSHIDA, NOBUKO

Publication type:

Article

NONINTERFERENCE ANALYSIS OF REVERSIBLE SYSTEMS: AN APPROACH BASED ON BRANCHING BISIMILARITY.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(16)2025

By:

ESPOSITO, ANDREA;
ALDINI, ALESSANDRO;
BERNARDO, MARCO;
ROSSI, SABINA

Publication type:

Article

DIVERSITY OF ANSWERS TO CONJUNCTIVE QUERIES.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(19)2025

By:

MERKL, TIMO CAMILLO;
PICHLER, REINHARD;
SKRITEK, SEBASTIAN

Publication type:

Article

INTEGRATION IN CONES.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(11)2025

By:

EHRHARD, THOMAS;
GEOFFROY, GUILLAUME

Publication type:

Article

COMPLETE AND TRACTABLE MACHINE-INDEPENDENT CHARACTERIZATIONS OF SECOND-ORDER POLYTIME.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(15)2025

By:

HAINRY, EMMANUEL;
KAPRON, BRUCE M.;
MARION, JEAN-YVES;
PÉCHOUX, ROMAIN

Publication type:

Article

DECIDABILITY OF ONE-CLOCK WEIGHTED TIMED GAMES WITH ARBITRARY WEIGHTS.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(18)2025

By:

MONMEGE, BENJAMIN;
PARREAUX, JULIE;
REYNIER, PIERRE-ALAIN

Publication type:

Article

REGULAR MODEL CHECKING UPSIDE-DOWN: AN INVARIANT-BASED APPROACH.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(14)2025

By:

ESPARZA, JAVIER;
RASKIN, MICHAEL;
WELZEL-MOHR, CHRISTOPH

Publication type:

Article

REWRITING FOR SYMMETRIC MONOIDAL CATEGORIES WITH COMMUTATIVE (CO)MONOID STRUCTURE.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(112)2025

By:

MILOSAVLJEVIĆ, ALEKSANDAR;
PIEDELEU, ROBIN;
ZANASI, FABIO

Publication type:

Article

ALGEBRAIC PRESENTATIONS OF TYPE DEPENDENCY.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(114)2025

By:

AHRENS, BENEDIKT;
EMMENEGGER, JACOPO;
NORTH, PAIGE RANDALL;
RIJKE, EGBERT

Publication type:

Article

QUANTITATIVE EQUALITY IN SUBSTRUCTURAL LOGIC VIA LIPSCHITZ DOCTRINES.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(17)2025

By:

DAGNINO, FRANCESCO;
PASQUALI, FABIO

Publication type:

Article

MULTI-STRUCTURAL GAMES AND NUMBER OF QUANTIFIERS.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(110)2025

By:

FAGIN, RONALD;
LENCHNER, JONATHAN;
REGAN, KENNETH W.;
VYAS, NIKHIL

Publication type:

Article

BISIMILARITY IN FRESH-REGISTER AUTOMATA.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(113)2025

By:

MURAWSKI, ANDRZEJ S.;
RAMSAY, STEVEN J.;
TZEVELEKOS, NIKOS

Publication type:

Article