Works matching IS 18605974 AND DT 2014 AND VI 10 AND IP 4

Results: 21

GLOBALLY GOVERNED SESSION SEMANTICS.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/lmcs-10(4:20)2014

By:

KOUZAPAS, DIMITRIOS;
YOSHIDA, NOBUKO

Publication type:

Article

A ROBUST CLASS OF DATA LANGUAGES AND AN APPLICATION TO LEARNING.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:19)2014

By:

BOLLIG, BENEDIKT;
HABERMEHL, PETER;
LEUCKER, MARTIN;
MONMEGE, BENJAMIN

Publication type:

Article

QUANTIFIED CTL: EXPRESSIVENESS AND COMPLEXITY.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:17)2014

By:

LAROUSSINIE, FRANÇOIS;
MARKEY, NICOLAS

Publication type:

Article

SUB-COMPUTABLE BOUNDED RANDOMNESS.

Published in:

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

By:

BUSS, SAM;
CENZER, DOUGLAS;
REMMEL, JEFFREY B.

Publication type:

Article

ALGORITHMIC RANDOMNESS FOR DOOB'S MARTINGALE CONVERGENCE THEOREM IN CONTINUOUS TIME.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:12)2014

By:

KJOS-HANSSEN, BJØRN;
NGUYEN, PAUL KIM LONG V.;
RUTE, JASON M.

Publication type:

Article

COST PRESERVING BISIMULATIONS FOR PROBABILISTIC AUTOMATA.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:11)2014

By:

TURRINI, ANDREA;
HERMANNS, HOLGER

Publication type:

Article

ON THE RELATION OF INTERACTION SEMANTICS TO CONTINUATIONS AND DEFUNCTIONALIZATION.

Published in:

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

By:

SCHÖPP, ULRICH

Publication type:

Article

STOCHASTIC PARITY GAMES ON LOSSY CHANNEL SYSTEMS.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:21)2014

By:

ABDULLA, PAROSH AZIZ;
CLEMENTE, LORENZO;
MAYR, RICHARD;
SANDBERG, SVEN

Publication type:

Article

COMPUTING A SOLUTION OF FEIGENBAUM'S FUNCTIONAL EQUATION IN POLYNOMIAL TIME.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:7)2014

By:

HERTLING, PETER;
SPANDL, CHRISTOPH

Publication type:

Article

STOCHASTIC TIMED AUTOMATA.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:6)2014

By:

BERTRAND, NATHALIE;
BOUYER, PATRICIA;
BRIHAYE, THOMAS;
MENET, QUENTIN;
BAIER, CHRISTEL;
GRÖSSER, MARCUS;
JURDZIŃSKI, MARCIN

Publication type:

Article

FULL ABSTRACTION FOR FAIR TESTING IN CCS.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:2)2014

By:

HIRSCHOWITZ, TOM

Publication type:

Article

ON THE STRICTNESS OF THE QUANTIFIER STRUCTURE HIERARCHY IN FIRST-ORDER LOGIC.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:3)2014

By:

YUGUO HE

Publication type:

Article

DECIDABILITY PROBLEMS FOR ACTOR SYSTEMS.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:5)2014

By:

DE BOER, FRANK S.;
JAGHOORI, MOHAMMAD MAHDI;
LANEVE, COSIMO;
ZAVATTARO, GIANLUIGI

Publication type:

Article

STATE OF BÜCHI COMPLEMENTATION.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:13)2014

By:

MING-HSIEN TSAI;
FOGARTY, SETH;
VARDI, MOSHE Y.;
YIH-KUEN TSAY

Publication type:

Article

BEYOND Q-RESOLUTION AND PRENEX FORM: A PROOF SYSTEM FOR QUANTIFIED CONSTRAINT SATISFACTION.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:14)2014

By:

CHEN, HUBIE

Publication type:

Article

GLOBAL SEMANTIC TYPING FOR INDUCTIVE AND COINDUCTIVE COMPUTING.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:18)2014

By:

LEIVANT, DANIEL

Publication type:

Article

BOUNDED VARIATION AND THE STRENGTH OF HELLY'S SELECTION THEOREM.

Published in:

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

By:

KREUZER, ALEXANDER P.

Publication type:

Article

CONNECTION MATRICES AND THE DEFINABILITY OF GRAPH PARAMETERS.

Published in:

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

By:

KOTEK, TOMER;
MAKOWSKY, JOHANN A.

Publication type:

Article

AN EFFECT SYSTEM FOR ALGEBRAIC EFFECTS AND HANDLERS.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:9)2014

By:

BAUER, ANDREJ;
PRETNAR, MATIJA

Publication type:

Article

THE POWER OF PRIORITY CHANNEL SYSTEMS.

Published in:

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

By:

HAASE, CHRISTOPH;
SCHMITZ, SYLVAIN;
SCHNOEBELEN, PHILIPPE

Publication type:

Article

CALL-BY-VALUE, CALL-BY-NAME AND THE VECTORIAL BEHAVIOUR OF THE ALGEBRAIC λ-CALCULUS.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:8)2014

By:

ASSAF, ALI;
DÍAZ-CARO, ALEJANDRO;
PERDRIX, SIMON;
TASSON, CHRISTINE;
VALIRON, BENOÎT

Publication type:

Article