Works matching IS 18605974 AND DT 2020 AND VI 16 AND IP 1

Results: 29

PROBABILISTIC LOGICS BASED ON RIESZ SPACES.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:6)2020

By:

FURBER, ROBERT;
MARDARE, RADU;
MIO, MATTEO

Publication type:

Article

EFFICIENT AND MODULAR COALGEBRAIC PARTITION REFINEMENT.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:8)2020

By:

WISSMANN, THORSTEN;
DORSCH, ULRICH;
MILIUS, STEFAN;
SCHRÖDER, LUTZ

Publication type:

Article

UNIQUE PERFECT MATCHINGS, FORBIDDEN TRANSITIONS AND PROOF NETS FOR LINEAR LOGIC WITH MIX.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:27)2020

By:

DŨNG NGUYỄN, LÊ THÀNH

Publication type:

Article

COVARIANCE AND CONTRAVARIANCE: A FRESH LOOK AT AN OLD ISSUE (A PRIMER IN ADVANCED TYPE SYSTEMS FOR LEARNING FUNCTIONAL PROGRAMMERS).

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:15)2020

By:

CASTAGNA, GIUSEPPE

Publication type:

Article

A SYNTACTIC APPROACH TO CONTINUITY OF T-DEFINABLE FUNCTIONALS.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:22)2020

By:

CHUANGJIE XU

Publication type:

Article

DECREASING DIAGRAMS FOR CONFLUENCE AND COMMUTATION.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:23)202

By:

ENDRULLIS, JÖRG;
KLOP, JAN WILLEM;
OVERBEEK, ROY

Publication type:

Article

ON NOMINAL SYNTAX AND PERMUTATION FIXED POINTS.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:19)2020

By:

AYALA-RINCÓN, MAURICIO;
FERNÁNDEZ, MARIBEL;
NANTES-SOBRINHO, DANIELE

Publication type:

Article

McShane-Whitney extensions in constructive analysis

Published in:

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

By:

PETRAKIS, IOSIF

Publication type:

Article

CONTINUOUS REGULAR FUNCTIONS.

Published in:

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

By:

GORMAN, ALEXI BLOCK;
HIERONYMI, PHILIPP;
KAPLAN, ELLIOT;
RUOYU MENG;
WALSBERG, ERIK;
ZIHE WANG;
ZIQIN XIONG;
HONGRU YANG

Publication type:

Article

A NEW COINDUCTIVE CONFLUENCE PROOF FOR INFINITARY LAMBDA CALCULUS.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:31)2020

By:

CZAJKA, LUKASZ

Publication type:

Article

A Categorical Reconstruction Of Quantum Theory.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:4)2020

By:

TULL, SEAN

Publication type:

Article

TRANSLATION OF ALGORITHMIC DESCRIPTIONS OF DISCRETE FUNCTIONS TO SAT WITH APPLICATIONS TO CRYPTANALYSIS PROBLEMS.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:29)2020

By:

SEMENOV, ALEXANDER;
OTPUSCHENNIKOV, ILYA;
GRIBANOVA, IRINA;
ZAIKIN, OLEG;
KOCHEMAZOV, STEPAN

Publication type:

Article

THE COMPLEXITY OF COMBINATIONS OF QUALITATIVE CONSTRAINT SATISFACTION PROBLEMS.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:21)2020

By:

BODIRSKY, MANUEL;
GREINER, JOHANNES

Publication type:

Article

DESCRIPTIVE COMPLEXITY FOR COUNTING COMPLEXITY CLASSES.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:9)2020

By:

ARENAS, MARCELO;
MUÑOZ, MARTIN;
RIVEROS, CRISTIAN

Publication type:

Article

FIRST-ORDER QUERIES ON CLASSES OF STRUCTURES WITH BOUNDED EXPANSION.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:25)2020

By:

KAZANA, WOJCIECH;
SEGOUFIN, LUC

Publication type:

Article

CLASSICAL CONTROL, QUANTUM CIRCUITS AND LINEAR LOGIC IN ENRICHED CATEGORY THEORY.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:30)2020

By:

RENNELA, MATHYS;
STATON, SAM

Publication type:

Article

UNDECIDABILITY OF A WEAK VERSION OF MSO+U.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:12)2020

By:

BOJAŃCZYK, MIKOŁAJ;
DAVIAUD, LAURE;
GUILLON, BRUNO;
PENELLE, VINCENT;
SREEJITH, A. V.

Publication type:

Article

A UNIVERSAL ORDINARY DIFFERENTIAL EQUATION.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:28)2020

By:

BOURNEZ, OLIVIER;
POULY, AMAURY

Publication type:

Article

REGULAR TREE ALGEBRAS.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:16)2020

By:

BLUMENSATH, ACHIM

Publication type:

Article

AUTOMΑΤΑ ΜΙΝIMIZATION: A FUNCTORIAL APPROACH

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:32)2020

By:

COLCOMBET, THOMAS;
PETRIŞAN, DANIELA

Publication type:

Article

CALL-BY-NAME GRADUAL TYPE THEORY.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:7)2020

By:

NEW, MAX S.;
LICATA, DANIEL R.

Publication type:

Article

DISTANCES BETWEEN STATES AND BETWEEN PREDICATES.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:26)2020

By:

JACOBS, BART;
WESTERBAAN, ABRAHAM

Publication type:

Article

MINIMIZATION OF VISIBLY PUSHDOWN AUTOMATA IS NP-COMPLETE.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:14)2020

By:

GAUWIN, OLIVIER;
MUSCHOLL, ANCA;
RASKIN, MICHAEL

Publication type:

Article

CONTINUITY OF FUNCTIONAL TRANSDUCERS: A PROFINITE STUDY OF RATIONAL FUNCTIONS.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:24)2020

By:

CADILHAC, MICHAËL;
CARTON, OLIVIER;
PAPERMAN, CHARLES

Publication type:

Article

SIGNATURES AND INDUCTION PRINCIPLES FOR HIGHER INDUCTIVE-INDUCTIVE TYPES.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:10)2020

By:

KAPOSI, AMBRUS;
KOVÁCS, ANDRÁS

Publication type:

Article

RECURSION SCHEMES, THE MSO LOGIC, AND THE U QUANTIFIER.

Published in:

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

By:

PARYS, PAWEŁ

Publication type:

Article

CONCURRENCY AND PROBABILITY: REMOVING CONFUSION, COMPOSITIONALLY.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 17, doi. 10.23638/LMCS-15(4:17)2019

By:

BRUNI, ROBERTO;
MELGRATTI, HERNÁN;
MONTANARI, UGO

Publication type:

Article

NON-IDEMPOTENT TYPES FOR CLASSICAL CALCULI IN NATURAL DEDUCTION STYLE.

Published in:

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

By:

KESNER, DELIA;
VIAL, PIERRE

Publication type:

Article

MODALITIES IN HOMOTOPY TYPE THEORY.

Published in:

Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 1, p. 1, doi. 10.23638/LMCS-16(1:2)2020

By:

RIJKE, EGBERT;
SHULMAN, MICHAEL;
SPITTERS, BAS

Publication type:

Article