Works matching IS 18605974 AND DT 2021 AND VI 17 AND IP 3

Results: 28

A COMPLETE AXIOMATISATION FOR QUANTIFIER-FREE SEPARATION LOGIC.

Published in:

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

By:

DEMRI, STÉPHANE;
LOZES, ÉTIENNE;
MANSUTTI, ALESSIO

Publication type:

Article

CHARACTERIZATION AND DERIVATION OF HEARD-OF PREDICATES FOR ASYNCHRONOUS MESSAGE-PASSING MODELS.

Published in:

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

By:

SHIMI, ADAM;
HURAULT, AURÉLIE;
QUEINNEC, PHILIPPE

Publication type:

Article

CARTESIAN DIFFERENCE CATEGORIES.

Published in:

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

By:

ALVAREZ-PICALLO, MARIO;
PACAUD LEMAY, JEAN-SIMON

Publication type:

Article

AMBIGUITY HIERARCHY OF REGULAR INFINITE TREE LANGUAGES.

Published in:

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

By:

RABINOVICH, ALEXANDER;
TIFERET, DORON

Publication type:

Article

SUCCESSOR-INVARIANT FIRST-ORDER LOGIC ON CLASSES OF BOUNDED DEGREE.

Published in:

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

By:

GRANGE, JULIEN

Publication type:

Article

EQUIVALENCE CHECKING FOR WEAK BI-KLEENE ALGEBRA.

Published in:

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

By:

KAPPE, TOBIAS;
BRUNET, PAUL;
LUTTIK, BAS;
SILVA, ALEXANDRA;
ZANASI, FABIO

Publication type:

Article

MODULAR COINDUCTION UP-TO FOR HIGHER-ORDER LANGUAGES VIA FIRST-ORDER TRANSITION SYSTEMS.

Published in:

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

By:

MADIOT, JEAN-MARIE;
POUS, DAMIEN;
SANGIORGI, DAVIDE

Publication type:

Article

THE SHAPLEY VALUE OF TUPLES IN QUERY ANSWERING.

Published in:

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

By:

LIVSHITS, ESTER;
BERTOSSI, LEOPOLDO;
KIMELFELD, BENNY;
SEBAG, MOSHE

Publication type:

Article

W-TYPES IN SETOIDS.

Published in:

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

By:

EMMENEGGER, JACOPO

Publication type:

Article

A PROGRAM FOR THE FULL AXIOM OF CHOICE.

Published in:

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

By:

KRIVINE, JEAN-LOUIS

Publication type:

Article

SEPARATION FOR DOT-DEPTH TWO.

Published in:

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

By:

PLACE, THOMAS;
ZEITOUN, MARC

Publication type:

Article

MODULAR PATH QUERIES WITH ARITHMETIC.

Published in:

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

By:

MICHALISZYN, JAKUB;
OTOP, JAN;
WIECZOREK, PIOTR

Publication type:

Article

DECISION PROBLEMS FOR LINEAR RECURRENCES INVOLVING ARBITRARY REAL NUMBERS.

Published in:

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

By:

NEUMANN, EIKE

Publication type:

Article

A DETAILED ACCOUNT OF THE INCONSISTENT LABELLING PROBLEM OF STUTTER-PRESERVING PARTIAL-ORDER REDUCTION.

Published in:

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

By:

NEELE, THOMAS;
VALMARI, ANTTI;
WILLEMSE, TIM A. C.

Publication type:

Article

MULTIMODAL DEPENDENT TYPE THEORY.

Published in:

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

By:

GRATZER, DANIEL;
KAVVOS, G. A.;
NUYTS, ANDREAS;
BIRKEDAL, LARS

Publication type:

Article

FOUNDATIONS OF ONLINE STRUCTURE THEORY II: THE OPERATOR APPROACH.

Published in:

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

By:

DOWNEY, ROD;
MELNIKOV, ALEXANDER;
KENG MENG NG

Publication type:

Article

RELOC RELOADED: A MECHANIZED RELATIONAL LOGIC FOR FINE-GRAINED CONCURRENCY AND LOGICAL ATOMICITY.

Published in:

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

By:

FRUMIN, DAN;
KREBBERS, ROBBERT;
BIRKEDAL, LARS

Publication type:

Article

AXIOMATIZING HYBRID XPATH WITH DATA.

Published in:

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

By:

ARECES, CARLOS;
FERVARI, RAUL

Publication type:

Article

RELATING APARTNESS AND BISIMULATION.

Published in:

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

By:

GEUVERS, HERMAN;
JACOBS, BART

Publication type:

Article

PUMPING LEMMAS FOR WEIGHTED AUTOMATA.

Published in:

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

By:

CHATTOPADHYAY, AGNISHOM;
MAZOWIECKI, FILIP;
MUSCHOLL, ANCA;
RIVEROS, CRISTIAN

Publication type:

Article

ON THE UNION CLOSED FRAGMENT OF EXISTENTIAL SECOND-ORDER LOGIC AND LOGICS WITH TEAM SEMANTICS.

Published in:

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

By:

HOELZEL, MATTHIAS;
WILKE, RICHARD

Publication type:

Article

AFFINE EXTENSIONS OF INTEGER VECTOR ADDITION SYSTEMS WITH STATES.

Published in:

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

By:

BLONDIN, MICHAEL;
HAASE, CHRISTOPH;
MAZOWIECKI, FILIP;
RASKIN, MIKHAIL

Publication type:

Article

THE COMPLEXITY OF REACHABILITY IN AFFINE VECTOR ADDITION SYSTEMS WITH STATES.

Published in:

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

By:

BLONDIN, MICHAEL;
RASKIN, MIKHAIL

Publication type:

Article

REPRESENTING CONTINUOUS FUNCTIONS BETWEEN GREATEST FIXED POINTS OF INDEXED CONTAINERS.

Published in:

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

By:

HYVERNAT, PIERRE

Publication type:

Article

PRESBURGER ARITHMETIC WITH ALGEBRAIC SCALAR MULTIPLICATIONS.

Published in:

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

By:

HIERONYMI, PHILIPP;
NGUYEN, DANNY;
PAK, IGOR

Publication type:

Article

ON P/Q-RECOGNISABLE SETS.

Published in:

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

By:

MARSAULT, VICTOR

Publication type:

Article

DISTRIBUTION BISIMILARITY VIA THE POWER OF CONVEX ALGEBRAS.

Published in:

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

By:

BONCHI, FILIPPO;
SILVA, ALEXANDRA;
SOKOLOVA, ANA

Publication type:

Article

A CHARACTERISATION OF OPEN BISIMILARITY USING AN INTUITIONISTIC MODAL LOGIC.

Published in:

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

By:

KI YUNG AHN;
HORNE, ROSS;
TIU, ALWEN

Publication type:

Article