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

Results: 37

MINIMALITY NOTIONS VIA FACTORIZATION SYSTEMS AND EXAMPLES.

Published in:

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

By:

WISSMANN, THORSTEN

Publication type:

Article

DISTRIBUTED ASYNCHRONOUS GAMES WITH CAUSAL MEMORY ARE UNDECIDABLE.

Published in:

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

By:

GIMBERT, HUGO

Publication type:

Article

A FUNCTIONAL ABSTRACTION OF TYPED INVOCATION CONTEXTS.

Published in:

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

By:

YOUYOU CONG;
CHIAKI ISHIO;
KAHO HONDA;
KENICHI ASAI

Publication type:

Article

DECIDING ALL BEHAVIORAL EQUIVALENCES AT ONCE: A GAME FOR LINEAR-TIME–BRANCHING-TIME SPECTROSCOPY.

Published in:

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

By:

BISPING, BENJAMIN;
JANSEN, DAVID N.;
NESTMANN, UWE

Publication type:

Article

SMALL PROMISE CSPS THAT REDUCE TO LARGE CSPS.

Published in:

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

By:

KAZDA, ALEXANDR;
MAYR, PETER;
ZHUK, DMITRIY

Publication type:

Article

TIMED AUTOMATA ROBUSTNESS ANALYSIS VIA MODEL CHECKING.

Published in:

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

By:

BENDÍK., JAROSLAV;
SENCAN, AHMET;
GOL, EBRU AYDIN;
ČERNÁ, IVANA

Publication type:

Article

INFERENCE SYSTEMS WITH CORULES FOR COMBINED SAFETY AND LIVENESS PROPERTIES OF BINARY SESSION TYPES.

Published in:

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

By:

CICCONE, LUCA;
PADOVANI, LUCA

Publication type:

Article

ADDRESSING MACHINES AS MODELS OF λ-CALCULUS.

Published in:

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

By:

PENNA, GIUSEPPE DELLA;
INTRIGILA, BENEDETTO;
MANZONETTO, GIULIO

Publication type:

Article

MINIMIZATION AND CANONIZATION OF GFG TRANSITION-BASED AUTOMATA.

Published in:

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

By:

RADI, BADER ABU;
KUPFERMAN, ORNA

Publication type:

Article

INSTANCE REDUCIBILITY AND WEIHRAUCH DEGREES.

Published in:

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

By:

BAUER, ANDREJ

Publication type:

Article

A COALGEBRAIC APPROACH TO DUALITIES FOR NEIGHBORHOOD FRAMES.

Published in:

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

By:

BEZHANISHVILI, GURAM;
BEZHANISHVILI, NICK;
GROOT, JIM DE

Publication type:

Article

A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES.

Published in:

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

By:

CHIARI, MICHELE;
MANDRIOLI, DINO;
PRADELLA, MATTEO

Publication type:

Article

TYPABILITY AND TYPE INFERENCE IN ATOMIC POLYMORPHISM.

Published in:

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

By:

PROTIN, M. CLARENCE;
FERREIRA, GILDA

Publication type:

Article

WHY DOES PROPOSITIONAL QUANTIFICATION MAKE MODAL AND TEMPORAL LOGICS ON TREES ROBUSTLY HARD?

Published in:

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

By:

BEDNARCZYK, BARTOSZ;
DEMRI, STÉPHANE

Publication type:

Article

THE THEORY OF UNIVERSAL GRAPHS FOR INFINITE DURATION GAMES.

Published in:

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

By:

COLCOMBET, THOMAS;
FIJALKOW, NATHANAEL;
GAWRYCHOWSKI, PAWE L;
OHLMANN, AND PIERRE

Publication type:

Article

POINT-FREE CONSTRUCTION OF REAL EXPONENTIATION.

Published in:

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

By:

N. G., MING;
VICKERS, STEVEN

Publication type:

Article

A CATEGORICAL FRAMEWORK FOR CONGRUENCE OF APPLICATIVE BISIMILARITY IN HIGHER-ORDER LANGUAGES.

Published in:

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

By:

HIRSCHOWITZ, TOM;
LAFONT, AMBROISE

Publication type:

Article

UNIFORM ENVELOPES.

Published in:

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

By:

NEUMANN, EIKE

Publication type:

Article

LIMITS OF REAL NUMBERS IN THE BINARY SIGNED DIGIT REPRESENTATION.

Published in:

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

By:

WIESNET, FRANZISKUS;
KÖPP, NILS

Publication type:

Article

TAMENESS AND THE POWER OF PROGRAMS OVER MONOIDS IN DA.

Published in:

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

By:

GROSSHANS, NATHAN;
MCKENZIE, PIERRE;
SEGOUFIN, LUC

Publication type:

Article

COMPUTABILITY OF DATA-WORD TRANSDUCTIONS OVER DIFFERENT DATA DOMAINS.

Published in:

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

By:

EXIBARD, LÉO;
FILIOT, EMMANUEL;
LHOTE, NATHAN;
REYNIER, PIERRE-ALAIN

Publication type:

Article

COUNTEREXAMPLE-GUIDED PROPHECY FOR MODEL CHECKING MODULO THE THEORY OF ARRAYS.

Published in:

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

By:

MANN, MAKAI;
IRFAN, AHMED;
GRIGGIO, ALBERTO;
PADON, ODED;
BARRETT, CLARK

Publication type:

Article

MODAL MEET-IMPLICATION LOGIC.

Published in:

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

By:

GROOT, JIM DE;
PATTINSON, DIRK

Publication type:

Article

MODULES OVER MONADS AND OPERATIONAL SEMANTICS (EXPANDED VERSION).

Published in:

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

By:

HIRSCHOWITZ, ANDRE;
HIRSCHOWITZ, TOM;
LAFONT, AMBROISE

Publication type:

Article

QUANTUM CONTROL IN THE UNITARY SPHERE: LAMBDA-S<sub>1 </sub>AND ITS CATEGORICAL MODEL.

Published in:

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

By:

DÍAZ-CARO, ALEJANDRO;
MALHERBE, OCTAVIO

Publication type:

Article

MODULARISING VERIFICATION OF DURABLE OPACITY.

Published in:

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

By:

BILA, ELENI;
DERRICK, JOHN;
DOHERTY, SIMON;
DONGOL, BRIJESH;
SCHELLHORN, GERHARD;
WEHRHEIM, HEIKE

Publication type:

Article

STRONGLY NORMALIZING HIGHER-ORDER RELATIONAL QUERIES.

Published in:

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

By:

RICCIOTTI, WILMER;
CHENEY, JAMES

Publication type:

Article

RELATING FUNCTIONAL AND IMPERATIVE SESSION TYPES.

Published in:

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

By:

SAFFRICH, HANNES;
THIEMANN, PETER

Publication type:

Article

ONE-CLOCK PRICED TIMED GAMES WITH NEGATIVE WEIGHTS.

Published in:

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

By:

BRIHAYE, THOMAS;
GEERAERTS, GILLES;
HADDAD, AXEL;
LEFAUCHEUX, ENGEL;
MONMEGE, BENJAMIN

Publication type:

Article

DIFFERENTIALS AND DISTANCES IN PROBABILISTIC COHERENCE SPACES.

Published in:

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

By:

EHRHARD, THOMAS

Publication type:

Article

LINEAR DEPENDENT TYPE THEORY FOR QUANTUM PROGRAMMING LANGUAGES.

Published in:

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

By:

PENG FU;
KISHIDA, KOHEI;
SELINGER, PETER

Publication type:

Article

FUSIBLE NUMBERS AND PEANO ARITHMETIC .

Published in:

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

By:

ERICKSON, JEFF;
NIVASCH, GABRIEL;
JUNYAN XU

Publication type:

Article

A LOWER BOUND OF THE NUMBER OF REWRITE RULES OBTAINED BY HOMOLOGICAL METHODS.

Published in:

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

By:

IKEBUCHI, MIRAI

Publication type:

Article

MOSS’ LOGIC FOR ORDERED COALGEBRAS.

Published in:

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

By:

ÍLKOVÁ, MARTAB;
DOSTÁL, MATEJ

Publication type:

Article

COMPARATOR AUTOMATA IN QUANTITATIVE VERIFICATION.

Published in:

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

By:

BANSAL, SUGUMAN;
CHAUDHURI, SWARAT;
VARDI, MOSHE Y.

Publication type:

Article

ON SETS OF TERMS HAVING A GIVEN INTERSECTION TYPE.

Published in:

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

By:

POLONSKY, ANDREW;
STATMAN, RICHARD

Publication type:

Article

THE THIRD TRICK.

Published in:

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

By:

DIENER, HANNES;
HENDTLASS, MATTHEW

Publication type:

Article