Works matching IS 18605974 AND DT 2017 AND VI 13 AND IP 4

Results: 20

STATMAN'S HIERARCHY THEOREM.

Published in:

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

By:

WESTERBAAN, BRAM;
WESTERBAAN, BAS;
KUYPER, RUTGER;
TANKINK, CARST;
VIEHOFF, REMY;
BARENDREGT, HENK

Publication type:

Article

AN INTENSIONALLY FULLY-ABSTRACT SHEAF MODEL FOR π (EXPANDED VERSION).

Published in:

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

By:

EBERHART, CLOVIS;
HIRSCHOWITZ, TOM;
SEILLER, THOMAS

Publication type:

Article

PRIVACY BY TYPING IN THE π-CALCULUS.

Published in:

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

By:

KOUZAPAS, DIMITRIOS;
PHILIPPOU, ANNA

Publication type:

Article

TIMED SESSION TYPES.

Published in:

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

By:

BARTOLETTI, MASSIMO;
CIMOLI, TIZIANA;
MURGIA, MAURIZIO

Publication type:

Article

FROM LOGIC TO BIOLOGY VIA PHYSICS: A SURVEY.

Published in:

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

By:

LONGO, GIUSEPPE;
MONTÉVIL, MAËL

Publication type:

Article

GRILLIOT'S TRICK IN NONSTANDARD ANALYSIS.

Published in:

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

By:

SANDERS, SAM

Publication type:

Article

MATCHING LOGIC.

Published in:

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

By:

ROŞU, GRIGORE

Publication type:

Article

FAITHFUL (META-)ENCODINGS OF PROGRAMMABLE STRATEGIES INTO TERM REWRITING SYSTEMS.

Published in:

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

By:

CIRSTEA, HORATIU;
LENGLET, SERGUEÏ;
MOREAU, PIERRE-ETIENNE

Publication type:

Article

CYCLIC DATATYPES MODULO BISIMULATION BASED ON SECOND-ORDER ALGEBRAIC THEORIES.

Published in:

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

By:

MAKOTO HAMANA

Publication type:

Article

SOME OBSERVATIONS ON THE LOGICAL FOUNDATIONS OF INDUCTIVE THEOREM PROVING.

Published in:

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

By:

HETZL, STEFAN;
TIN LOK WONG

Publication type:

Article

MODULAR, FULLY-ABSTRACT COMPILATION BY APPROXIMATE BACK-TRANSLATION.

Published in:

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

By:

DEVRIESE, DOMINIQUE;
PATRIGNANI, MARCO;
PIESSENS, FRANK;
KEUCHEL, STEVEN

Publication type:

Article

NORMALISATION BY EVALUATION FOR TYPE THEORY, IN TYPE THEORY.

Published in:

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

By:

ALTENKIRCH, THORSTEN;
KAPOSI, AMBRUS

Publication type:

Article

STANDARDIZATION AND CONSERVATIVITY OF A REFINED CALL-BY-VALUE LAMBDA-CALCULUS.

Published in:

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

By:

GUERRIERI, GIULIO;
PAOLINI, LUCA;
ROCCA, SIMONA RONCHI DELLA

Publication type:

Article

GAMES FOR BISIMULATIONS AND ABSTRACTION.

Published in:

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

By:

DE FRUTOS ESCRIG, DAVID;
KEIREN, JEROEN J. A.;
WILLEMSE, TIM A. C.

Publication type:

Article

ADDING PATH-FUNCTIONAL DEPENDENCIES TO THE GUARDED TWO-VARIABLE FRAGMENT WITH COUNTING.

Published in:

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

By:

KOURTIS, GEORGIOS;
PRATT-HARTMANN, IAN

Publication type:

Article

THE DATA COMPLEXITY OF DESCRIPTION LOGIC ONTOLOGIES.

Published in:

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

By:

LUTZ, CARSTEN;
WOLTER, FRANK

Publication type:

Article

A FRAMEWORK FOR CERTIFIED SELF-STABILIZATION.

Published in:

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

By:

ALTISEN, KARINE;
CORBINEAU, PIERRE;
DEVISMES, STÉPHANE

Publication type:

Article

BRANCHING BISIMILARITY OF NORMED BPA PROCESSES AS A RATIONAL MONOID.

Published in:

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

By:

JANČAR, PETR

Publication type:

Article

UNDECIDABILITY OF EQUALITY IN THE FREE LOCALLY CARTESIAN CLOSED CATEGORY (EXTENDED VERSION).

Published in:

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

By:

CASTELLAN, SIMON;
CLAIRAMBAULT, PIERRE;
DYBJER, PETER

Publication type:

Article

COMPUTING SOLUTION OPERATORS OF BOUNDARY-VALUE PROBLEMS FOR SOME LINEAR HYPERBOLIC SYSTEMS OF PDES.

Published in:

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

By:

SELIVANOVA, SVETLANA;
SELIVANOV, VICTOR

Publication type:

Article