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

Results: 25

EXACT UNIFICATION AND ADMISSIBILITY.

Published in:

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

By:

CABRER, LEONARDO M.;
METCALFE, GEORGE

Publication type:

Article

ELLIPSES AND LAMBDA DEFINABILITY.

Published in:

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

By:

GOLDBERG, MAYER

Publication type:

Article

FEATHERWEIGHT VERIFAST.

Published in:

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

By:

VOGELS, FRÉDÉRIC;
JACOBS, BART;
PIESSENS, FRANK

Publication type:

Article

WEAK UPPER TOPOLOGIES AND DUALITY FOR CONES.

Published in:

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

By:

KEIMEL, KLAUS

Publication type:

Article

PARTIAL FUNCTIONS AND DOMINATION.

Published in:

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

By:

CHONG, C. T.;
HOI, GORDON;
STEPHAN, FRANK;
TURETSKY, DAN

Publication type:

Article

ABSTRACT MODEL REPAIR.

Published in:

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

By:

CHATZIELEFTHERIOU, GEORGE;
BONAKDARPOUR, BORZOO;
KATSAROS, PANAGIOTIS;
SMOLKA, SCOTT A.

Publication type:

Article

COMPOSITIONAL VERIFICATION FOR TIMED SYSTEMS BASED ON AUTOMATIC INVARIANT GENERATION.

Published in:

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

By:

RAYANA, SOUHA BEN;
AŞTEFĂNOAEI, LĂCRĂMIOARA;
BENSALEM, SADDEK;
BOZGA, MARIUS;
COMBAZ, JACQUES

Publication type:

Article

LEARNING REGULAR LANGUAGES OVER LARGE ORDERED ALPHABETS.

Published in:

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

By:

MENS, IRINI-ELEFTHERIA;
MALER, ODED

Publication type:

Article

ON NESTED SEQUENTS FOR CONSTRUCTIVE MODAL LOGICS.

Published in:

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

By:

ARISAKA, RYUTA;
DAS, ANUPAM;
STRASSBURGER, LUTZ

Publication type:

Article

DETECTING UNREALIZABILITY OF DISTRIBUTED FAULT-TOLERANT SYSTEMS.

Published in:

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

By:

FINKBEINER, BERND;
TENTRUP, LEANDER

Publication type:

Article

CONSTRUCTING FULLY COMPLETE MODELS OF MULTIPLICATIVE LINEAR LOGIC.

Published in:

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

By:

SCHALK, ANDREA;
STEELE, HUGH P.

Publication type:

Article

ON THE AXIOMATIZABILITY OF IMPOSSIBLE FUTURES.

Published in:

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

By:

TAOLUE CHEN;
WAN FOKKINK;
VAN GLABBEEK, ROB

Publication type:

Article

DECIDING DEFINABILITY IN FO<sup>2</sup>(<v,<h) ON TREES.

Published in:

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

By:

PLACE, THOMAS;
SEGOUFIN, LUC

Publication type:

Article

PROOF THEORY OF A MULTI-LANE SPATIAL LOGIC.

Published in:

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

By:

LINKER, SVEN;
HILSCHER, MARTIN

Publication type:

Article

SERVICE-ORIENTED LOGIC PROGRAMMING.

Published in:

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

By:

ŢUŢUa, IONUŢ;
FIADEIRO, JOSÉ LUIZ

Publication type:

Article

QUANTITATIVE APPROXIMATION OF THE PROBABILITY DISTRIBUTION OF A MARKOV PROCESS BY FORMAL ABSTRACTIONS.

Published in:

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

By:

SADEGH ESMAEIL ZADEH SOUDJANI;
ABATE, ALESSANDRO

Publication type:

Article

PRESENTING DISTRIBUTIVE LAWS.

Published in:

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

By:

BONSANGUE, MARCELLO M.;
HANSEN, HELLE H.;
KURZ, ALEXANDER;
ROT, JURRIAAN

Publication type:

Article

LOGICS WITH RIGIDLY GUARDED DATA TESTS.

Published in:

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

By:

COLCOMBET, THOMAS;
LEY, CLEMENS;
PUPPIS, GABRIELE

Publication type:

Article

A CORRESPONDENCE BETWEEN ROOTED PLANAR MAPS AND NORMAL PLANAR LAMBDA TERMS.

Published in:

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

By:

ZEILBERGER, NOAM;
GIORGETTI, ALAIN

Publication type:

Article

VERIFICATION FOR TIMED AUTOMATA EXTENDED WITH UNBOUNDED DISCRETE DATA STRUCTURES.

Published in:

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

By:

QUAAS, KARIN

Publication type:

Article

POSITIVE FRAGMENTS OF COALGEBRAIC LOGICS.

Published in:

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

By:

BALAN, ADRIANA;
KURZ, ALEXANDER;
VELEBIL, JIŘÍ

Publication type:

Article

QUANTIFIED CONSTRAINTS AND CONTAINMENT PROBLEMS.

Published in:

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

By:

HUBIE CHEN;
MADELAINE, FLORENT;
MARTIN, BARNABY

Publication type:

Article

NEW DIRECTIONS IN CATEGORICAL LOGIC, FOR CLASSICAL, PROBABILISTIC AND QUANTUM LOGIC.

Published in:

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

By:

JACOBS, BART

Publication type:

Article

ON THE SYSTEM CL12 OF COMPUTABILITY LOGIC.

Published in:

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

By:

JAPARIDZE, GIORGI

Publication type:

Article

QUANTITATIVE LANGUAGES DEFINED BY FUNCTIONAL AUTOMATA.

Published in:

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

By:

FILIOT, EMMANUEL;
GENTILINI, RAFFAELLA;
RASKIN, JEAN-FRANÇOIS

Publication type:

Article