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

Results: 19

MANY-VALUED COALGEBRAIC LOGIC OVER SEMI-PRIMAL VARIETIES.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 6:1, doi. 10.46298/LMCS-20(3:6)2024

By:

KURZ, ALEXANDER;
POIGER, WOLFGANG;
TEHEUX, BRUNO

Publication type:

Article

CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 17:1, doi. 10.46298/LMCS-20(3:17)2024

By:

ACAMPORA, RENATO;
GEATTI, LUCA;
GIGANTE, NICOLA;
MONTANARI, ANGELO;
PICOTTI, VALENTINO

Publication type:

Article

ON THE SATISFIABILITY OF LOCAL FIRST-ORDER LOGICS WITH DATA.

Published in:

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

By:

BOLLIG, BENEDIKT;
SANGNIER, ARNAUD;
STIETEL, OLIVIER

Publication type:

Article

OPERATIONS ON FIXPOINT EQUATION SYSTEMS.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 5:1, doi. 10.46298/LMCS-20(3:5)2024

By:

NEELE, THOMAS;
VAN DE POL, JACO

Publication type:

Article

COMPLEXITY RESULTS FOR MODAL LOGIC WITH RECURSION VIA TRANSLATIONS AND TABLEAUX.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 14:1, doi. 10.46298/LMCS-20(3:14)2024

By:

ACETO, LUCA;
ACHILLEOS, ANTONIS;
ANASTASIADI, ELLI;
FRANCALANZA, ADRIAN;
INGÓLFSDÓTTIR, ANNA

Publication type:

Article

ISOLATED SUBORDERS AND THEIR APPLICATION TO COUNTING CLOSURE OPERATORS.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 11:1, doi. 10.46298/LMCS-20(3:11)2024

By:

GLÜCK, ROLAND

Publication type:

Article

COALGEBRAIC SATISFIABILITY CHECKING FOR ARITHMETIC μ-CALCULI.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 9:1, doi. 10.46298/LMCS-20(3:9)2024

By:

HAUSMANN, DANIEL;
SCHRÖDER, LUTZ

Publication type:

Article

SYNTHESIZING NESTED RELATIONAL QUERIES FROM IMPLICIT SPECIFICATIONS: VIA MODEL THEORY AND VIA PROOF THEORY.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 7:1, doi. 10.46298/LMCS-20(3:7)2024

By:

BENEDIKT, MICHAEL;
PRADIC, CÉCILIA;
WERNHARD, CHRISTOPH

Publication type:

Article

SIMULATIONS FOR EVENT-CLOCK AUTOMATA.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 2:1, doi. 10.46298/LMCS-20(3:2)2024

By:

AKSHAY, S.;
GASTIN, PAUL;
GOVIND, R.;
SRIVATHSAN, B.

Publication type:

Article

ON TWO-VARIABLE GUARDED FRAGMENT LOGIC WITH EXPRESSIVE LOCAL PRESBURGER CONSTRAINTS.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 16:1, doi. 10.46298/LMCS-20(3:16)2024

By:

CHIA-HSUAN LU;
TAN, TONY

Publication type:

Article

FULLY ABSTRACT ENCODINGS OF λ-CALCULUS IN HOcore THROUGH ABSTRACT MACHINES.

Published in:

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

By:

BIERNACKA, MAŁGORZATA;
BIERNACKI, DARIUSZ;
LENGLET, SERGUEÏ;
POLESIUK, PIOTR;
POUS, DAMIEN;
SCHMITT, ALAN

Publication type:

Article

HALF-POSITIONAL OBJECTIVES RECOGNIZED BY DETERMINISTIC BÜCHI AUTOMATA.

Published in:

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

By:

BOUYER, PATRICIA;
CASARES, ANTONIO;
RANDOUR, MICKAEL;
VANDENHOVE, PIERRE

Publication type:

Article

DETERMINISTIC PUSHDOWN AUTOMATA CAN COMPRESS SOME NORMAL SEQUENCES.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 15:1, doi. 10.46298/LMCS-20(3:15)2024

By:

CARTON, OLIVIER;
PERIFEL, SYLVAIN

Publication type:

Article

A FAITHFUL AND QUANTITATIVE NOTION OF DISTANT REDUCTION FOR THE LAMBDA-CALCULUS WITH GENERALIZED APPLICATIONS.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 10:1, doi. 10.46298/LMCS-20(3:10)2024

By:

ESPÍRITO SANTO, JOSÉ;
KESNER, DELIA;
PEYROT, LOÏC

Publication type:

Article

DECIDABILITY FOR STURMIAN WORDS.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 12:1, doi. 10.46298/LMCS-20(3:12)2024

By:

HIERONYMI, PHILIPP;
DUN MA;
OEI, REED;
SCHAEFFER, LUKE;
SCHULZ, CHRIS;
SHALLIT, JEFFREY

Publication type:

Article

TWIN-WIDTH AND PERMUTATIONS.

Published in:

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

By:

BONNET, ÉDOUARD;
NEŠETŘIL, JAROSLAV;
OSSONA DE MENDEZ, PATRICE;
SIEBERTZ, SEBASTIAN;
THOMASSÉ, STÉPHAN

Publication type:

Article

GAME COMONADS & GENERALISED QUANTIFIERS.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 8:1, doi. 10.46298/LMCS-20(3:8)2024

By:

CONGHAILE, ADAM Ó.;
DAWAR, ANUJ

Publication type:

Article

ZETA FUNCTIONS AND THE (LINEAR) LOGIC OF MARKOV PROCESSES.

Published in:

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

By:

SEILLER, THOMAS

Publication type:

Article

A SESSION TYPE SYSTEM FOR ASYNCHRONOUS UNRELIABLE BROADCAST COMMUNICATION.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 13:1, doi. 10.46298/LMCS-20(3:13)2024

By:

KOUZAPAS, DIMITRIOS;
GUTKOVAS, RAMŪNAS FORSBERG;
VOINEA, A. LAURA;
GAY, SIMON J.

Publication type:

Article