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

Results: 22

TYPED REALIZABILITY FOR FIRST-ORDER CLASSICAL ANALYSIS.

Published in:

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

By:

BLOT, VALENTIN

Publication type:

Article

BISIMULATION OF LABELLED STATE-TO-FUNCTION TRANSITION SYSTEMS COALGEBRAICALLY.

Published in:

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

By:

LATELLA, DIEGO;
MASSINK, MIEKE;
DE VINK, ERIK P.

Publication type:

Article

PRESERVATION AND DECOMPOSITION THEOREMS FOR BOUNDED DEGREE STRUCTURES.

Published in:

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

By:

HARWATH, FREDERIK;
HEIMBERG, LUCAS;
SCHWEIKARDT, NICOLE

Publication type:

Article

DATALOG REWRITINGS OF REGULAR PATH QUERIES USING VIEWS.

Published in:

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

By:

FRANCIS, NADIME;
SEGOUFIN, LUC;
SIRANGELO, CRISTINA

Publication type:

Article

STRUCTURALLY CYCLIC PETRI NETS.

Published in:

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

By:

DREWES, FRANK;
LEROUX, JÉRÔME

Publication type:

Article

A PROGRAM LOGIC FOR VERIFYING SECURE ROUTING PROTOCOLS.

Published in:

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

By:

CHEN CHEN;
LIMIN JIA;
HAO XU;
CHENG LUO;
WENCHAO ZHOU;
BOON THAU LOO

Publication type:

Article

A DECIDABLE WEAKENING OF COMPASS LOGIC BASED ON CONE-SHAPED CARDINAL DIRECTIONS.

Published in:

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

By:

MONTANARI, ANGELO;
PUPPIS, GABRIELE;
SALA, PIETRO

Publication type:

Article

TYPE RECONSTRUCTION FOR THE LINEAR π-CALCULUS WITH COMPOSITE REGULAR TYPES.

Published in:: Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:13)2015
Publication type:: Article

TYPE-BASED SELF-STABILISATION FOR COMPUTATIONAL FIELDS.

Published in:

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

By:

DAMIANI, FERRUCCIO;
VIROLI, MIRKO

Publication type:

Article

FROM NOMINAL TO HIGHER-ORDER REWRITING AND BACK AGAIN.

Published in:

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

By:

DOMÍNGUEZ, JESÚS;
FERNÁNDEZ, MARIBEL

Publication type:

Article

QUANTITATIVE INFORMATION FLOW UNDER GENERIC LEAKAGE FUNCTIONS AND ADAPTIVE ADVERSARIES.

Published in:

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

By:

BOREALE, MICHELE;
PAMPALONI, FRANCESCA

Publication type:

Article

EXPRESSIVE PATH QUERIES ON GRAPHS WITH DATA.

Published in:

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

By:

BARCELÓ, PABLO;
FONTAINE, GAELLE;
LIN, ANTHONY WIDJAJA

Publication type:

Article

LOGIC AND BRANCHING AUTOMATA.

Published in:

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

By:

BEDON, NICOLAS

Publication type:

Article

THE COMPUTABILITY PATH ORDERING.

Published in:

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

By:

BLANQUI, FRÉDÉRIC;
JOUANNAUD, JEAN-PIERRE;
RUBIO, ALBERT

Publication type:

Article

COMPUTATIONAL PROBLEMS IN METRIC FIXED POINT THEORY AND THEIR WEIHRAUCH DEGREES.

Published in:

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

By:

NEUMANN, EIKE

Publication type:

Article

FORMAL DESIGN OF ASYNCHRONOUS FAULT DETECTION AND IDENTIFICATION COMPONENTS USING TEMPORAL EPISTEMIC LOGIC.

Published in:

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

By:

BOZZANO, MARCO;
CIMATTI, ALESSANDRO;
GARIO, MARCO;
TONETTA, STEFANO

Publication type:

Article

FASTER EXISTENTIAL FO MODEL CHECKING ON POSETS.

Published in:

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

By:

GAJARSKÝ, JAKUB;
HLINĚNÝ, PETR;
OBDRŽÁLEK, JAN;
ORDYNIAK, SEBASTIAN

Publication type:

Article

A FINER REDUCTION OF CONSTRAINT PROBLEMS TO DIGRAPHS.

Published in:

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

By:

BULÍN, JAKUB;
DELIĆ, DEJAN;
JACKSON, MARCEL;
NIVEN, TODD

Publication type:

Article

PROBLEMS IN NUMBER THEORY FROM BUSY BEAVER COMPETITION.

Published in:

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

By:

MICHEL, PASCAL

Publication type:

Article

FO MODEL CHECKING OF INTERVAL GRAPHS.

Published in:

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

By:

GANIAN, ROBERT;
HLINĔNÝ, PETR;
KRÁL, DANIEL;
OBDRŽÁLEK, JAN;
SCHWARTZ, JARETT;
TESKA, JAKUB

Publication type:

Article

FINITE CHOICE, CONVEX CHOICE AND FINDING ROOTS.

Published in:

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

By:

LE ROUX, STÉPHANE;
PAULY, ARNO

Publication type:

Article

MODULAR SESSION TYPES FOR OBJECTS.

Published in:

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

By:

GAY, SIMON J.;
GESBERT, NILS;
RAVARA, ANTÓNIO;
VASCONCELOS, VASCO T.

Publication type:

Article