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

Results: 15

RELATIONAL*-LIFTINGS FOR DIFFERENTIAL PRIVACY.

Published in:

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

By:

BARTHE, GILLES;
ESPITAU, THOMAS;
HSU, JUSTIN;
TETSUYA SATO;
STRUB, PIERRE-YVES

Publication type:

Article

A NON-REGULAR LANGUAGE OF INFINITE TREES THAT IS RECOGNIZED BY A SORT-WISE FINITE ALGEBRA.

Published in:

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

By:

BOJAŃCZYK, MIKOŁAJ;
KLIN, BARTEK

Publication type:

Article

ON FUNCTIONS WEAKLY COMPUTABLE BY PUSHDOWN PETRI NETS AND RELATED SYSTEMS.

Published in:

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

By:

LEROUX, JÉRÔME;
PRAVEEN, M.;
SCHNOEBELEN, PHILIPPE;
SUTRE, GRÉGOIRE

Publication type:

Article

THE DYNAMIC GEOMETRY OF INTERACTION MACHINE: A TOKEN-GUIDED GRAPH REWRITER.

Published in:

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

By:

KOKO MUROYA;
GHICA, DAN R.

Publication type:

Article

LOGICAL AND ALGEBRAIC CHARACTERIZATIONS OF RATIONAL TRANSDUCTIONS.

Published in:

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

By:

FILIOT, EMMANUEL;
GAUWIN, OLIVIER;
LHOTE, NATHAN

Publication type:

Article

LIFTING COALGEBRA MODALITIES AND MELL MODEL STRUCTURE TO EILENBERG-MOORE CATEGORIES.

Published in:

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

By:

PACAUD LEMAY, JEAN-SIMON

Publication type:

Article

A CURRY-HOWARD APPROACH TO CHURCH’S SYNTHESIS.

Published in:

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

By:

PRADIC, CÉCILIA;
RIBA, COLIN

Publication type:

Article

COMPUTING THE WIDTH OF NON-DETERMINISTIC AUTOMATA.

Published in:

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

By:

KUPERBERG, DENIS;
MAJUMDAR, ANIRBAN

Publication type:

Article

FLOW LOGIC.

Published in:

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

By:

KUPFERMAN, ORNA;
VARDI, GAL

Publication type:

Article

RULE FORMATS FOR NOMINAL PROCESS CALCULI.

Published in:

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

By:

ACETO, LUCA;
FÁBREGAS, IGNACIO;
GARCÍA-PÉREZ, ÁLVARO;
INGÓLFSDÓTTIR, ANNA;
ORTEGA-MALLÉN, YOLANDA

Publication type:

Article

SCALAR AND VECTORIAL μ-CALCULUS WITH ATOMS.

Published in:

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

By:

KLIN, BARTEK;
LELYK, MATEUSZ

Publication type:

Article

ON THE ENUMERATION OF CLOSURES AND ENVIRONMENTS WITH AN APPLICATION TO RANDOM GENERATION.

Published in:

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

By:

BENDKOWSKI, MACIEJ;
LESCANNE, PIERRE

Publication type:

Article

ON COMPLETENESS AND PARAMETRICITY IN THE REALIZABILITY SEMANTICS OF SYSTEM F.

Published in:

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

By:

PISTONE, PAOLO

Publication type:

Article

ψ1 AND THE MODAL μ-CALCULUS: In memory of Zoltán Ésik.

Published in:

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

By:

GOUVEIA, MARIA JOÃO;
SANTOCANALE, LUIGI

Publication type:

Article

ON FREE ω-CONTINUOUS AND REGULAR ORDERED ALGEBRAS.

Published in:

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

By:

ESIK, ZOLTÁN;
KOZEN, DEXTER

Publication type:

Article