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

Results: 21

DRAWING WITH DISTANCE.

Published in:

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

By:

JACOBS, BART

Publication type:

Article

LEFT-LINEAR COMPLETION WITH AC AXIOMS.

Published in:

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

By:

NIEDERHAUSER, JOHANNES;
NAO HIROKAWA;
MIDDELDORP, AART

Publication type:

Article

THE CATEGORICAL CONTOURS OF THE CHOMSKY-SCHÜTZENBERGER REPRESENTATION THEOREM.

Published in:

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

By:

MELLIÈS, PAUL-ANDRÉ;
ZEILBERGER, NOAM

Publication type:

Article

COMPLETIONS OF KLEENE'S SECOND MODEL.

Published in:

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

By:

TERWIJN, SEBASTIAAN A.

Publication type:

Article

MOVING A DERIVATION ALONG A DERIVATION PRESERVES THE SPINE IN ADHESIVE CATEGORIES.

Published in:

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

By:

KREOWSKI, HANS-JÖRG;
LYE, AARON;
WINDHORST, ALJOSCHA

Publication type:

Article

INDIVISIBILITY AND UNIFORM COMPUTATIONAL STRENGTH.

Published in:

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

By:

GILL, KENNETH

Publication type:

Article

CRASH-STOP FAILURES IN ASYNCHRONOUS MULTIPARTY SESSION TYPES.

Published in:

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

By:

BARWELL, ADAM D.;
PING HOU;
NOBUKO YOSHIDA;
FANGYI ZHOU

Publication type:

Article

FMPLEX: EXPLORING A BRIDGE BETWEEN FOURIER-MOTZKIN AND SIMPLEX.

Published in:

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

By:

PROMIES, VALENTIN;
NALBACH, JASPER;
ÁBRAHÁM, ERIKA;
KOBIALKA, PAUL

Publication type:

Article

DISCOUNTED-SUM AUTOMATA WITH MULTIPLE DISCOUNT FACTORS.

Published in:

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

By:

BOKER, UDI;
HEFETZ, GUY

Publication type:

Article

SAFETY AND LIVENESS OF QUANTITATIVE PROPERTIES AND AUTOMATA.

Published in:

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

By:

BOKER, UDI;
HENZINGER, THOMAS A.;
MAZZOCCHI, NICOLAS;
SARAÇ, N. EGE

Publication type:

Article

STRING DIAGRAMS FOR PREMONOIDAL CATEGORIES.

Published in:

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

By:

ROMÁN, MARIO;
SOBOCIŃSKI, PAWEŁ

Publication type:

Article

A GAME OF PAWNS.

Published in:

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

By:

AVNI, GUY;
GHORPADE, PRANAV;
GUHA, SHIBASHIS

Publication type:

Article

STOCHASTIC WINDOW MEAN-PAYOFF GAMES.

Published in:

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

By:

DOYEN, LAURENT;
GABA, PRANSHU;
GUHA, SHIBASHIS

Publication type:

Article

DECIDABILITY OF QUERYING FIRST-ORDER THEORIES VIA COUNTERMODELS OF FINITE WIDTH.

Published in:

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

By:

FELLER, THOMAS;
LYON, TIM S.;
OSTROPOLSKI-NALEWAJA, PIOTR;
RUDOLPH, SEBASTIAN

Publication type:

Article

RANKED ENUMERATION OF CONJUNCTIVE QUERY RESULTS.

Published in:

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

By:

DEEP, SHALEEN;
KOUTRIS, PARASCHOS

Publication type:

Article

RELATING REVERSIBLE PETRI NETS AND REVERSIBLE EVENT STRUCTURES, CATEGORICALLY.

Published in:

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

By:

MELGRATTI, HERNÁN;
ANTARES MEZZINA, CLAUDIO;
PINNA, G. MICHELE

Publication type:

Article

THE IDENTITY PROBLEM IN THE SPECIAL AFFINE GROUP OF Z².

Published in:

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

By:

RUIWEN DONG

Publication type:

Article

STRONG NEGATION IN THE THEORY OF COMPUTABLE FUNCTIONALS TCF.

Published in:

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

By:

KÖPP, NILS;
PETRAKIS, IOSIF

Publication type:

Article

THE MANY-WORLDS CALCULUS.

Published in:

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

By:

CHARDONNET, KOSTIA;
DE VISME, MARC;
VALIRON, BENOÎT;
VILMART, RENAUD

Publication type:

Article

A ROBUST GRAPH-BASED APPROACH TO OBSERVATIONAL EQUIVALENCE.

Published in:

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

By:

GHICA, DAN R.;
KOKO MUROYA;
WAUGH AMBRIDGE, TODD

Publication type:

Article

STRUCTURAL REDUCTIONS AND STUTTER SENSITIVE PROPERTIES.

Published in:

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

By:

PAVIOT-ADET, EMMANUEL;
POITRENAUD, DENIS;
RENAULT, ETIENNE;
THIERRY-MIEG, YANN

Publication type:

Article