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

Results: 15

CONSISTENCY OF CIRCUIT LOWER BOUNDS WITH BOUNDED THEORIES.

Published in:

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

By:

BYDŽOVSKÝ, JAN;
KRAJÍČEK, JAN;
OLIVEIRA, IGOR C.

Publication type:

Article

TRACE REFINEMENT IN LABELLED MARKOV DECISION PROCESSES.

Published in:

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

By:

FIJALKOW, NATHANAËL;
KIEFER, STEFAN;
SHIRMOHAMMADI, MAHSA

Publication type:

Article

COMPLETENESS OF THE ZX-CALCULUS.

Published in:

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

By:

JEANDEL, EMMANUEL;
PERDRIX, SIMON;
VILMART, RENAUD

Publication type:

Article

FAILURE OF NORMALIZATION IN IMPREDICATIVE TYPE THEORY WITH PROOF-IRRELEVANT PROPOSITIONAL EQUALITY.

Published in:

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

By:

ABEL, ANDREAS;
COQUAND, THIERRY

Publication type:

Article

REPRESENTING DEPENDENCIES IN EVENT STRUCTURES.

Published in:

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

By:

PINNA, G. MICHELE

Publication type:

Article

FORWARD ANALYSIS FOR WSTS, PART III: KARP-MILLER TREES.

Published in:

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

By:

BLONDIN, MICHAEL;
FINKEL, ALAIN;
GOUBAULT-LARRECQ, JEAN

Publication type:

Article

CELLULAR COHOMOLOGY IN HOMOTOPY TYPE THEORY.

Published in:

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

By:

BUCHHOLTZ, ULRIK;
KUEN-BANG HOU (FAVONIA)

Publication type:

Article

ON PROPERTIES OF B-TERMS.

Published in:

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

By:

MIRAI IKEBUCHI;
KEISUKE NAKANO

Publication type:

Article

ON THE INCOMPUTABILITY OF COMPUTABLE DIMENSION.

Published in:

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

By:

STAIGER, LUDWIG

Publication type:

Article

SYNTHESIS OF ORCHESTRATIONS AND CHOREOGRAPHIES: BRIDGING THE GAP BETWEEN SUPERVISORY CONTROL AND COORDINATION OF SERVICES.

Published in:

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

By:

BASILE, DAVIDE;
TER BEEK, MAURICE H.;
PUGLIESE, ROSARIO

Publication type:

Article

TIGHT POLYNOMIAL WORST-CASE BOUNDS FOR LOOP PROGRAMS.

Published in:

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

By:

BEN-AMRAM, AMIR M.;
HAMILTON, GEOFF

Publication type:

Article

REGISTER GAMES.

Published in:

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

By:

LEHTINEN, KAROLIINA;
BOKER, UDI

Publication type:

Article

ALL-PATH REACHABILITY LOGIC.

Published in:

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

By:

ŞTEFĂNESCU, ANDREI;
CIOBÂCĂ, STEFAN;
MEREUTA, RADU;
MOORE, BRANDON M.;
ROŞU, GRIGORE;
ŞERBĂNUŢĂ, TRAIAN FLORIN

Publication type:

Article

AN INTEGRATED FIRST-ORDER THEORY OF POINTS AND INTERVALS OVER LINEAR ORDERS (PART II).

Published in:

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

By:

CONRADIE, WILLEM;
DURHAN, SALIH;
SCIAVICCO, GUIDO

Publication type:

Article

REACHABILITY FOR INFINITE TIME TURING MACHINES WITH LONG TAPES.

Published in:

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

By:

CARL, MERLIN;
RIN, BENJAMIN;
SCHLICHT, PHILIPP

Publication type:

Article