Works matching IS 18605974 AND DT 2022 AND VI 18 AND IP 1

Results: 26

A LOGIC FOR MONITORING DYNAMIC NETWORKS OF SPATIALLY-DISTRIBUTED CYBER-PHYSICAL SYSTEMS.

Published in:

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

By:

NENZI, LAURA;
BARTOCCI, EZIO;
BORTOLUSSI, LUCA;
LORETI, MICHELE

Publication type:

Article

BOUNDED REACHABILITY PROBLEMS ARE DECIDABLE IN FIFO MACHINES.

Published in:

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

By:

BOLLIG, BENEDIKT;
FINKEL, ALAIN;
SURESH, AMRITA

Publication type:

Article

A RECURSIVE APPROACH TO SOLVING PARITY GAMES IN QUASIPOLYNOMIAL TIME.

Published in:

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

By:

LEHTINEN, KAROLIINA;
PARYS, PAWEŁ;
SCHEWE, SVEN;
WOJTCZAK, DOMINIK

Publication type:

Article

QUOTIENTS OF BOUNDED NATURAL FUNCTORS.

Published in:

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

By:

FURER, BASIL;
LOCHBIHLER, ANDREAS;
SCHNEIDER, JOSHUA;
TRAYTEL, DMITRIY

Publication type:

Article

AN EXTENSIBLE EQUALITY CHECKING ALGORITHM FOR DEPENDENT TYPE THEORIES.

Published in:

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

By:

BAUER, ANDREJ;
KOMEL, ANJA PETKOVIC

Publication type:

Article

ON THE AXIOMATISABILITY OF PARALLEL COMPOSITION.

Published in:

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

By:

ACETO, LUCA;
CASTIGLIONI, VALENTINA;
INGÓLFSDÓTTIR, ANNA;
LUTTIK, BAS;
PEDERSEN, MATHIAS RUGGAARD

Publication type:

Article

A DUALITY THEORETIC VIEW ON LIMITS OF FINITE STRUCTURES.

Published in:

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

By:

GEHRKE, MAI;
JAKL, TOMÁŠ;
REGGIO, LUCA

Publication type:

Article

CONFORMANCE RELATIONS AND HYPERPROPERTIES FOR DOPING DETECTION IN TIME AND SPACE.

Published in:

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

By:

BIEWER, SEBASTIAN;
DIMITROVA, RAYNA;
FRIES, MICHAEL;
GAZDA, MACIEJ;
HEINZE, THOMAS;
HERMANNS, HOLGER;
MOUSAVI, MOHAMMAD REZA

Publication type:

Article

VERIFYING LIQUIDITY OF RECURSIVE BITCOIN CONTRACTS.

Published in:

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

By:

BARTOLETTI, MASSIMO;
LANDE, STEFANO;
MURGIA, MAURIZIO;
ZUNINO, ROBERTO

Publication type:

Article

ON THE NIELSEN–SCHREIER THEOREM IN HOMOTOPY TYPE THEORY.

Published in:

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

By:

SWAN, ANDREW W.

Publication type:

Article

FIXED-POINT THEOREMS FOR NON-TRANSITIVE RELATIONS.

Published in:

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

By:

DUBUT, JÉRÉMY;
AKIHISA YAMADA

Publication type:

Article

ON THE TAYLOR EXPANSION OF λ-TERMS AND THE GROUPOID STRUCTURE OF THEIR RIGID APPROXIMANTS.

Published in:

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

By:

OLIMPIERI, FEDERICO;
AUCLAIR, LIONEL VAUX

Publication type:

Article

DUALITY FOR POWERSET COALGEBRAS.

Published in:

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

By:

BEZHANISHVILI, GURAM;
CARAI, LUCA;
MORANDI, PATRICK J.

Publication type:

Article

SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION.

Published in:

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

By:

BOZZELLI, LAURA;
MOLINARI, ALBERTO;
MONTANARI, ANGELO;
PERON, ADRIANO;
SALA, PIETRO

Publication type:

Article

CONDITIONAL BISIMILARITY FOR REACTIVE SYSTEMS.

Published in:

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

By:

HÜLSBUSCH, MATHIAS;
KÖNIG, BARBARA;
KÜPPER, SEBASTIAN;
STOLTENOW, LARS

Publication type:

Article

PROOF THEORY OF RIESZ SPACES AND MODAL RIESZ SPACES.

Published in:

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

By:

LUCAS, CHRISTOPHE;
MIO, MATTEO

Publication type:

Article

NO-GO THEOREMS FOR DISTRIBUTIVE LAWS.

Published in:

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

By:

ZWART, MAAIKE;
MARSDEN, DAN

Publication type:

Article

RESIDUALITY AND LEARNING FOR NONDETERMINISTIC NOMINAL AUTOMATA.

Published in:

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

By:

MOERMAN, JOSHUA;
SAMMARTINO, MATTEO

Publication type:

Article

WEIGHT ANNOTATION IN INFORMATION EXTRACTION.

Published in:

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

By:

DOLESCHAL, JOHANNES;
KIMELFELD, BENNY;
MARTENS, WIM;
PETERFREUND, LIAT

Publication type:

Article

CANONICITY AND HOMOTOPY CANONICITY FOR CUBICAL TYPE THEORY.

Published in:

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

By:

COQUAND, THIERRY;
HUBER, SIMON;
SATTLER, CHRISTIAN

Publication type:

Article

INTEGRITY CONSTRAINTS REVISITED: FROM EXACT TO APPROXIMATE IMPLICATION.

Published in:

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

By:

KENIG, BATYA;
SUCIU, DAN

Publication type:

Article

NORMALIZATION FOR PLANAR STRING DIAGRAMS AND A QUADRATIC EQUIVALENCE ALGORITHM.

Published in:

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

By:

DELPEUCH, ANTONIN;
VICARY, JAMIE

Publication type:

Article

σ-LOCALES IN FORMAL TOPOLOGY.

Published in:

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

By:

CIRAULO, FRANCESCO

Publication type:

Article

QUANTIFYING OVER BOOLEAN ANNOUNCEMENTS.

Published in:

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

By:

VAN DITMARSCH, HANS;
FRENCH, TIM

Publication type:

Article

OPTIMIZING TREE DECOMPOSITIONS IN MSO.

Published in:

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

By:

BOJANCZYK, MIKOŁAJ;
PILIPCZUK, MICHAŁ

Publication type:

Article

UNIVERSAL ALGEBRAIC METHODS FOR CONSTRAINT SATISFACTION PROBLEMS.

Published in:

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

By:

BERGMAN, CLIFFORD;
DEMEO, WILLIAM

Publication type:

Article