Works matching IS 18605974 AND DT 2019 AND VI 15 AND IP 1

Results: 34

MOSCHOVAKIS EXTENSION OF REPRESENTED SPACES.

Published in:

Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 1, p. 1

By:

SKORDEV, DIMITER

Publication type:

Article

Capturing polynomial time using modular decomposition.

Published in:

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

By:

GRUSSIEN, BERIT

Publication type:

Article

INITIAL SEMANTICS FOR REDUCTION RULES.

Published in:

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

By:

AHRENS, BENEDIKT

Publication type:

Article

DISPLAYED CATEGORIES.

Published in:

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

By:

AHRENS, BENEDIKT;
LUMSDAINE, PETER LEFANU

Publication type:

Article

DISJUNCTIVE BASES: NORMAL FORMS AND MODEL THEORY FOR MODAL LOGICS.

Published in:

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

By:

ENQVIST, SEBASTIAN;
VENEMA, YDE

Publication type:

Article

ALGEBRA, COALGEBRA, AND MINIMIZATION IN POLYNOMIAL DIFFERENTIAL EQUATIONS.

Published in:

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

By:

BOREALE, MICHELE

Publication type:

Article

SHORTEST PATHS IN ONE-COUNTER SYSTEMS.

Published in:

Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 1, p. 1

By:

CHISTIKOV, DMITRY;
CZERWIŃSKI, WOJCIECH;
HOFMAN, PIOTR;
PILIPCZUK, MICHAL;
WEHAR, MICHAEL

Publication type:

Article

THIN GAMES WITH SYMMETRY AND CONCURRENT HYLAND-ONG GAMES.

Published in:

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

By:

CASTELLAN, SIMON;
CLAIRAMBAULT, PIERRE;
WINSKEL, GLYNN

Publication type:

Article

ON THIN AIR READS: TOWARDS AN EVENT STRUCTURES MODEL OF RELAXED MEMORY.

Published in:

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

By:

JEFFREY, ALAN;
RIELY, JAMES

Publication type:

Article

ON THE INCOMPARABILITY OF CACHE ALGORITHMS IN TERMS OF TIMING LEAKAGE.

Published in:

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

By:

CAÑONES, PABLO;
KÖPF, BORIS;
REINEKE, JAN

Publication type:

Article

COMPUTER-ASSISTED PROVING OF COMBINATORIAL CONJECTURES OVER FINITE DOMAINS: A CASE STUDY OF A CHESS CONJECTURE.

Published in:

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

By:

JANIČIĆ, PREDRAG;
MARIĆ, FILIP;
MALIKOVIĆ, MARKO

Publication type:

Article

WEB SPACES AND WORLDWIDE WEB SPACES: TOPOLOGICAL ASPECTS OF DOMAIN THEORY.

Published in:

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

By:

ERNÉ, MARCEL

Publication type:

Article

COAXIOMS: FLEXIBLE COINDUCTIVE DEFINITIONS BY INFERENCE SYSTEMS.

Published in:

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

By:

DAGNINO, FRANCESCO

Publication type:

Article

SAHLQVIST VIA TRANSLATION.

Published in:

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

By:

CONRADIE, WILLEM;
PALMIGIANO, ALESSANDRA;
ZHIGUANG ZHAO

Publication type:

Article

STONE-TYPE DUALITIES FOR SEPARATION LOGICS.

Published in:

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

By:

DOCHERTY, SIMON;
PYM, DAVID

Publication type:

Article

BEHAVIOURAL EQUIVALENCES FOR TIMED SYSTEMS.

Published in:

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

By:

BRENGOS, TOMASZ;
PERESSOTTI, MARCO

Publication type:

Article

SIZE, COST, AND CAPACITY: A SEMANTIC TECHNIQUE FOR HARD RANDOM QBFS.

Published in:

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

By:

BEYERSDORFF, OLAF;
BLINKHORN, JOSHUA;
HINDE, LUKE

Publication type:

Article

ON THE FIRST-ORDER COMPLEXITY OF INDUCED SUBGRAPH ISOMORPHISM.

Published in:

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

By:

VERBITSKY, OLEG;
ZHUKOVSKII, MAKSIM

Publication type:

Article

A finite-model-theoretic view on propositional proof complexity.

Published in:

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

By:

GRÄDEL, ERICH;
GROHE, MARTIN;
PAGO, BENEDIKT;
PAKUSA, WIED

Publication type:

Article

EFFICIENT REDUCTION OF NONDETERMINISTIC AUTOMATA WITH APPLICATION TO LANGUAGE INCLUSION TESTI.

Published in:

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

By:

CLEMENTE, LORENZO;
MAYR, RICHARD

Publication type:

Article

ALMOST EVERY SIMPLY TYPED λ-TERM HAS A LONG β-REDUCTION SEQUENCE.

Published in:

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

By:

KAZUYUKI ASADA;
NAOKI KOBAYASHI;
RYOMA SIN’YA;
TAKESHI TSUKADA

Publication type:

Article

THE PRINCIPLE OF POINTFREE CONTINUITY.

Published in:

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

By:

KAWAI TATSUJI;
SAMBIN, GIOVANNI

Publication type:

Article

THE SUBPOWER MEMBERSHIP PROBLEM FOR FINITE ALGEBRAS WITH CUBE TERMS.

Published in:

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

By:

BULATOV, ANDREI;
MAYR, PETER;
SZENDREI, ÁGNES

Publication type:

Article

RELATIVE ENTAILMENT AMONG PROBABILISTIC IMPLICATIONS.

Published in:

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

By:

ATSERIAS, ALBERT;
BALCÁZAR, JOSÉ L.;
PICENO, MARIE ELY

Publication type:

Article

PROBABILISTIC CALL BY PUSH VALUE.

Published in:

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

By:

EHRHARD, THOMAS;
TASSON, CHRISTINE

Publication type:

Article

NATURAL TRANSFORMATIONS AS REWRITE RULES AND MONAD COMPOSITION.

Published in:

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

By:

KOZEN, DEXTER

Publication type:

Article

MODELS OF TYPE THEORY BASED ON MOORE PATHS.

Published in:

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

By:

ORTON, IAN;
PITTS, ANDREW M.

Publication type:

Article

A CLASSICAL GROUPOID MODEL FOR QUANTUM NETWORKS.

Published in:

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

By:

REUTTER, DAVID J.;
VICARY, JAMIE

Publication type:

Article

A TOPOLOGICAL SCOTT CONVERGENCE THEOREM.

Published in:

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

By:

ANDRADI, HADRIAN;
WENG KIN HO

Publication type:

Article

EXTENDING SET FUNCTORS TO GENERALISED METRIC SPACES.

Published in:

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

By:

BALAN, ADRIANA;
KURZ, ALEXANDER;
VELEBIL, JIŘÍ

Publication type:

Article

A SEQUENT CALCULUS FOR A SEMI-ASSOCIATIVE LAW.

Published in:

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

By:

ZEILBERGER, NOAM

Publication type:

Article

DEGREES OF EXTENSIONALITY IN THE THEORY OF BÖHM TREES AND SALLÉ'S CONJECTURE.

Published in:

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

By:

INTRIGILA, BENEDETTO;
MANZONETTO, GIULIO;
POLONSKY, ANDREW

Publication type:

Article

A LIGHT MODALITY FOR RECURSION.

Published in:

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

By:

SEVERI, PAULA

Publication type:

Article

SHRUB-DEPTH: CAPTURING HEIGHT OF DENSE GRAPHS.

Published in:

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

By:

GANIAN, ROBERT;
HLINĚNÝ, PETR;
NEŠETŘIL, JAROSLAV;
OBDRŽÁLEK, JAN;
DE MENDEZ, PATRICE OSSONA

Publication type:

Article