Works matching IS 1860-5974 AND VI 20 AND IP 1 AND DT 2024

Results: 23

REWRITING AND COMPLETENESS OF SUM-OVER-PATHS IN DYADIC FRAGMENTS OF QUANTUM COMPUTING.

Published in:

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

By:

VILMART, RENAUD

Publication type:

Article

revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE.

Published in:

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

By:

BOCCHI, LAURA;
LANESE, IVAN;
MEZZINA, CLAUDIO ANTARES;
SHOJI YUEN

Publication type:

Article

EXPRESSIVENESS OF SHACL FEATURES AND EXTENSIONS FOR FULL EQUALITY AND DISJOINTNESS TESTS

Published in:

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

By:

BOGAERTS, BART;
JAKUBOWSKI, MAXIME;
VAN DEN BUSSCHE, JAN

Publication type:

Article

GALOIS CONNECTING CALL-BY-VALUE AND CALL-BY-NAME.

Published in:

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

By:

MCDERMOTT, DYLAN;
MYCROFT, ALAN

Publication type:

Article

ANALYZING ROBUSTNESS OF ANGLUIN’S L* ALGORITHM IN PRESENCE OF NOISE.

Published in:

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

By:

LINA YE;
KHMELNITSKY, IGOR;
HADDAD, SERGE;
BARBOT, BENOIT;
BOLLIG, BENEDIKT;
LEUCKER, MARTIN;
NEIDER, DANIEL;
ROY, RAJARSHI

Publication type:

Article

TOWARDS UNIFORM CERTIFICATION IN QBF.

Published in:

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

By:

CHEW, LEROY;
SLIVOVSKY, FRIEDRICH

Publication type:

Article

VARIABLE BINDING AND SUBSTITUTION FOR (NAMELESS) DUMMIES.

Published in:

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

By:

HIRSCHOWITZ, ANDRÉ;
HIRSCHOWITZ, TOM;
LAFONT, AMBROISE;
MAGGESI, MARCO

Publication type:

Article

STABILIZED PROFUNCTORS AND STABLE SPECIES OF STRUCTURES.

Published in:

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

By:

FIORE, MARCELO;
GALAL, ZEINAB;
PAQUET, HUGO

Publication type:

Article

VARIETIES OF UNARY-DETERMINED DISTRIBUTIVE ℓ-MAGMAS AND BUNCHED IMPLICATION ALGEBRAS.

Published in:

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

By:

ALPAY, NATANAEL;
JIPSEN, PETER;
SUGIMOTO, MELISSA

Publication type:

Article

AN ANALYSIS OF TENNENBAUM’S THEOREM IN CONSTRUCTIVE TYPE THEORY.

Published in:

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

By:

HERMES, MARC;
KIRST, DOMINIK

Publication type:

Article

SEPARATORS IN CONTINUOUS PETRI NETS.

Published in:

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

By:

BLONDIN, MICHAEL;
ESPARZA, JAVIER

Publication type:

Article

SEMIRING PROVENANCE FOR BÜCHI GAMES: STRATEGY ANALYSIS WITH ABSORPTIVE POLYNOMIALS.

Published in:

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

By:

GRÄDEL, ERICH;
LÜCKING, NIELS;
NAAF, MATTHIAS

Publication type:

Article

COMPOSITIONAL CONFLUENCE CRITERIA.

Published in:

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

By:

KIRAKU SHINTANI;
NAO HIROKAWA

Publication type:

Article

DECIDING EQUATIONS IN THE TIME WARP ALGEBRA.

Published in:

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

By:

VAN GOOL, SAM;
GUATTO, ADRIEN;
METCALFE, GEORGE;
SANTSCHI, SIMON

Publication type:

Article

PROOFS AS STATEFUL PROGRAMS: A FIRST-ORDER LOGIC WITH ABSTRACT HOARE TRIPLES, AND AN INTERPRETATION INTO AN IMPERATIVE LANGUAGE.

Published in:

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

By:

POWELL, THOMAS

Publication type:

Article

PLAYING SAFE, TEN YEARS LATER.

Published in:

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

By:

COLCOMBET, THOMAS;
FIJALKOW, NATHANAËL;
HORN, FLORIAN

Publication type:

Article

revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE.

Published in:

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

By:

BOCCHI, LAURA;
LANESE, IVAN;
MEZZINA, CLAUDIO ANTARES;
SHOJI YUEN

Publication type:

Article

LINEAR PROGRAMS WITH CONJUNCTIVE DATABASE QUERIES.

Published in:

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

By:

CAPELLI, FLORENT;
CROSETTI, NICOLAS;
NIEHREN, JOACHIM;
RAMON, JAN

Publication type:

Article

FOUNDATIONS OF PROBABILITY-RAISING CAUSALITY IN MARKOV DECISION PROCESSES.

Published in:

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

By:

BAIER, CHRISTEL;
PIRIBAUER, JAKOB;
ZIEMEK, ROBIN

Publication type:

Article

NODE REPLICATION: THEORY AND PRACTICE.

Published in:

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

By:

KESNER, DELIA;
PEYROT, LOÏC;
VENTURA, DANIEL

Publication type:

Article

OFFLINE AND ONLINE ENERGY-EFFICIENT MONITORING OF SCATTERED UNCERTAIN LOGS USING A BOUNDING MODEL.

Published in:

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

By:

GHOSH, BINEET;
ANDRÉ, ÉTIENNE

Publication type:

Article

A BIT OF NONDETERMINISM MAKES PUSHDOWN AUTOMATA EXPRESSIVE AND SUCCINCT.

Published in:

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

By:

GUHA, SHIBASHIS;
JECKER, ISMAËL;
LEHTINEN, KAROLIINA;
ZIMMERMANN, MARTIN

Publication type:

Article

DEPTH LOWER BOUNDS IN STABBING PLANES FOR COMBINATORIAL PRINCIPLES.

Published in:

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

By:

DANTCHEV, STEFAN;
GALESI, NICOLA;
GHANI, ABDUL;
MARTIN, BARNABY

Publication type:

Article