Works matching IS 18605974 AND DT 2023 AND VI 19 AND IP 4

Results: 31

IMPURE SIMPLICIAL COMPLEXES: COMPLETE AXIOMATIZATION.

Published in:

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

By:

RANDRIANOMENTSOA, ROJO;
VAN DITMARSCH, HANS;
KUZNETS, ROMAN

Publication type:

Article

A MODEL OF ACTORS AND GREY FAILURES.

Published in:

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

By:

BOCCHI, LAURA;
LANGE, JULIEN;
THOMPSON, SIMON;
VOINEA, A. LAURA

Publication type:

Article

SPACE-FLUID ADAPTIVE SAMPLING BY SELF-ORGANISATION.

Published in:

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

By:

CASADEI, ROBERTO;
MARIANI, STEFANO;
PIANINI, DANILO;
VIROLI, MIRKO;
ZAMBONELLI, FRANCO

Publication type:

Article

RELATIONAL MODELS FOR THE LAMBEK CALCULUS WITH INTERSECTION AND CONSTANTS.

Published in:

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

By:

KUZNETSOV, STEPAN L.

Publication type:

Article

A SYSTEM OF INTERACTION AND STRUCTURE III: THE COMPLEXITY OF SYSTEM BV AND POMSET LOGIC.

Published in:

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

By:

LÊ THÀNH DŨNG (TITO) NGUYỄN;
STRASSBURGER, LUTZ

Publication type:

Article

THE SYNTACTIC SIDE OF AUTONOMOUS CATEGORIES ENRICHED OVER GENERALISED METRIC SPACES.

Published in:

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

By:

DAHLQVIST, FREDRIK;
NEVES, RENATO

Publication type:

Article

CONSTRUCTIVE MANY-ONE REDUCTION FROM THE HALTING PROBLEM TO SEMI-UNIFICATION (EXTENDED VERSION).

Published in:

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

By:

DUDENHEFNER, ANDREJ

Publication type:

Article

CATEGORICAL COMPOSABLE CRYPTOGRAPHY: EXTENDED VERSION.

Published in:

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

By:

BROADBENT, ANNE;
KARVONEN, MARTTI

Publication type:

Article

THE POWER-SET CONSTRUCTION FOR TREE ALGEBRAS.

Published in:

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

By:

BLUMENSATH, ACHIM

Publication type:

Article

MAKING FIRST ORDER LINEAR LOGIC A GENERATING GRAMMAR.

Published in:

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

By:

SLAVNOV, SERGEY

Publication type:

Article

EXPONENTIALS AS SUBSTITUTIONS, AND THE COST OF CUT ELIMINATION IN LINEAR LOGIC.

Published in:

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

By:

ACCATTOLI, BENIAMINO

Publication type:

Article

A COHERENT DIFFERENTIAL PCF.

Published in:

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

By:

EHRHARD, THOMAS

Publication type:

Article

FTMPST: FAULT-TOLERANT MULTIPARTY SESSION TYPES.

Published in:

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

By:

PETERS, KIRSTIN;
NESTMANN, UWE;
WAGNER, CHRISTOPH

Publication type:

Article

SUBGAME-PERFECT EQUILIBRIA IN MEAN-PAYOFF GAMES.

Published in:

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

By:

BRICE, LÉONARD;
RASKIN, JEAN-FRANÇOIS;
VAN DEN BOGAARD, MARIE

Publication type:

Article

REWRITING WITH ACYCLIC QUERIES: MIND YOUR HEAD.

Published in:

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

By:

GECK, GAETANO;
KEPPELER, JENS;
SCHWENTICK, THOMAS;
SPINRATH, CHRISTOPHER

Publication type:

Article

VERIFYING AN EFFECT-HANDLER-BASED DEFINE-BY-RUN REVERSE-MODE AD LIBRARY.

Published in:

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

By:

DE VILHENA, PAULO EMÍLIO;
POTTIER, FRANÇOIS

Publication type:

Article

MODEL CHECKING TEMPORAL PROPERTIES OF RECURSIVE PROBABILISTIC PROGRAMS.

Published in:

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

By:

WINKLER, TOBIAS;
GEHNEN, CHRISTINA;
KATOEN, JOOST-PIETER

Publication type:

Article

TOKEN GAMES AND HISTORY-DETERMINISTIC QUANTITATIVE AUTOMATA.

Published in:

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

By:

BOKER, UDI;
LEHTINEN, KAROLIINA

Publication type:

Article

COMPUTING THE DENSITY OF THE POSITIVITY SET FOR LINEAR RECURRENCE SEQUENCES.

Published in:

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

By:

KELMENDI, EDON

Publication type:

Article

DYNAMIC CANTOR DERIVATIVE LOGIC.

Published in:

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

By:

FERNÁNDEZ-DUQUE, DAVID;
MONTACUTE, YOÁV

Publication type:

Article

SIMULATION BY ROUNDS OF LETTER-TO-LETTER TRANSDUCERS.

Published in:

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

By:

NASSAR, ANTONIO ABU;
ALMAGOR, SHAULL

Publication type:

Article

NON-DETERMINISTIC FUNCTIONS AS NON-DETERMINISTIC PROCESSES.

Published in:

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

By:

PAULUS, JOSEPH W. N.;
NANTES-SOBRINHO, DANIELE;
PÉREZ, JORGE A.

Publication type:

Article

PRIORITISE THE BEST VARIATION.

Published in:

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

By:

KOKKE, WEN;
DARDHA, ORNELA

Publication type:

Article

ARENA-INDEPENDENT FINITE-MEMORY DETERMINACY IN STOCHASTIC GAMES.

Published in:

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

By:

BOUYER, PATRICIA;
OUALHADJ, YOUSSOUF;
RANDOUR, MICKAEL;
VANDENHOVE, PIERRE

Publication type:

Article

LOCALITY AND CENTRALITY: THE VARIETY ZG.

Published in:

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

By:

AMARILLI, ANTOINE;
PAPERMAN, CHARLES

Publication type:

Article

FINE-GRAINED COMPLEXITY OF REGULAR PATH QUERIES.

Published in:

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

By:

CASEL, KATRIN;
SCHMID, MARKUS L.

Publication type:

Article

FINDING CUT-OFFS IN LEADERLESS RENDEZ-VOUS PROTOCOLS IS EASY.

Published in:

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

By:

BALASUBRAMANIAN, A. R.;
ESPARZA, JAVIER;
RASKIN, MIKHAIL

Publication type:

Article

APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES.

Published in:

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

By:

MANDRIOLI, DINO;
PRADELLA, MATTEO;
REGHIZZI, STEFANO CRESPI

Publication type:

Article

A TRICHOTOMY FOR REGULAR TRAIL QUERIES.

Published in:

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

By:

MARTENS, WIM;
NIEWERTH, MATTHIAS;
POPP, TINA

Publication type:

Article

A CATEGORICAL CHARACTERIZATION OF RELATIVE ENTROPY ON STANDARD BOREL SPACES.

Published in:

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

By:

GAGNÉ, NICOLAS;
PANANGADEN, PRAKASH

Publication type:

Article

OVERLAP ALGEBRAS AS ALMOST DISCRETE LOCALES.

Published in:

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

By:

CIRAULO, FRANCESCO

Publication type:

Article