Works matching IS 18605974 AND DT 2015 AND VI 11 AND IP 2

Results: 15

DECIDING THE VALUE 1 PROBLEM FOR PROBABILISTIC LEAKTIGHT AUTOMATA

Published in:

Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/LMCS-11(2:12)2015

By:

FIJALKOW, NATHANAËL;
GIMBERT, HUGO;
KELMENDI, EDON;
QUALHADJ, YOUSSOUF

Publication type:

Article

PURE NASH EQUILIBRIA IN CONCURRENT DETERMINISTIC GAMES.

Published in:

Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/LMCS-11(2:9)2015

By:

BOUYER, PATRICIA;
BRENGUIER, ROMAIN;
MARKEY, NICOLAS;
UMMELS, MICHAEL

Publication type:

Article

ON ABSORPTION IN SEMIGROUPS AND n-ARY SEMIGROUPS.

Published in:

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

By:

BAŠIĆ, BOJAN

Publication type:

Article

GENERATORS AND RELATIONS FOR n-QUBIT CLIFFORD OPERATORS.

Published in:

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

By:

SELINGER, PETER

Publication type:

Article

PERMISSIVE CONTROLLER SYNTHESIS FOR PROBABILISTIC SYSTEMS.

Published in:

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

By:

DRAGER, KLAUS;
FOREJT, VOJTECH;
KWIATKOWSKA, MARTA;
PARKER, DAVID;
UJMA, MATEUSZ

Publication type:

Article

ON UNIFICATION MODULO ONE-SIDED DISTRIBUTIVITY: ALGORITHMS, VARIANTS AND ASYMMETRY.

Published in:

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

By:

MARSHALL, ANDREW M.;
MEADOWS, CATHERINE;
NARENDRAN, PALIATH

Publication type:

Article

THERMODYNAMIC GRAPH-REWRITING.

Published in:

Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/LMCS-11(2:13)2015

By:

DANOS, VINCENT;
HARMER, RUSS;
HONORATO-ZIMMER, RICARDO

Publication type:

Article

USING MODELS TO MODEL-CHECK RECURSIVE SCHEMES.

Published in:

Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/lmcs-11(2:7)2015

By:

SALVATI, SYLVAIN;
WALUKIEWICZ, IGOR

Publication type:

Article

BOUNDING LINEAR HEAD REDUCTION AND VISIBLE INTERACTION THROUGH SKELETONS.

Published in:

Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/LMCS-11(2:6)2015

By:

CLAIRAMBAULT, PIERRE

Publication type:

Article

CONTAINMENT FOR CONDITIONAL TREE PATTERNS.

Published in:

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

By:

FACCHINI, ALESSANDRO;
YOICHI HIRAI;
MARX, MAARTEN;
SHERKHONOV, EVGENY

Publication type:

Article

MUTUALLY TESTING PROCESSES.

Published in:

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

By:

BERNARDI, GIOVANNI;
HENNESSY, MATTHEW

Publication type:

Article

LEARNING AND DESIGNING STOCHASTIC PROCESSES FROM LOGICAL CONSTRAINTS.

Published in:

Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/LMCS-11(2:3)2015

By:

BORTOLUSSI, LUCA;
SANGUINETTI, GUIDO

Publication type:

Article

LOGICAL STRENGTH OF COMPLEXITY THEORY AND A FORMALIZATION OF THE PCP THEOREM IN BOUNDED ARITHMETIC.

Published in:

Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/LMCS-11(2:8)2015

By:

PICH, JÁN

Publication type:

Article

ON REACHABILITY FOR UNIDIRECTIONAL CHANNEL SYSTEMS EXTENDED WITH REGULAR TESTS.

Published in:

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

By:

JANčAR, PETR;
KARANDIKAR, PRATEEK;
SCHNOEBELEN, PHILIPPE

Publication type:

Article

FROM KLEISLI CATEGORIES TO COMMUTATIVE C*-ALGEBRAS: PROBABILISTIC GELFAND DUALITY.

Published in:

Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/lmcs-11(2:5)2015

By:

FURBER, ROBERT;
JACOBS, BART

Publication type:

Article