Works matching IS 18605974 AND DT 2018 AND VI 14 AND IP 3

Results: 24

UNGUARDED RECURSION ON COINDUCTIVE RESUMPTIONS.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:10)2018

By:

GONCHAROV, SERGEY;
RAUCH, CHRISTOPH;
SCHRÖDER, LUTZ;
JAKOB, JULIAN

Publication type:

Article

UNIFICATION AND LOGARITHMIC SPACE.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:6)2018

By:

AUBERT, CLÉMENT;
BAGNOL, MARC

Publication type:

Article

JAVA & LAMBDA: A FEATHERWEIGHT STORY.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:17)2018

By:

BETTINI, LORENZO;
BONO, VIVIANA;
DEZANI-CIANCAGLINI, MARIANGIOLA;
GIANNINI, PAOLA;
VENNERI, BETTI

Publication type:

Article

PROPER FUNCTORS AND FIXED POINTS FOR FINITE BEHAVIOUR.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:22)2018

By:

MILIUS, STEFAN

Publication type:

Article

A GHOST AT ω<sub>1</sub>.

Published in:

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

By:

LEVY, PAUL BLAIN

Publication type:

Article

EVENT STRUCTURES FOR PETRI NETS WITH PERSISTENCE.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:25)2018

By:

BALDAN, PAOLO;
BRUNI, ROBERTO;
CORRADINI, ANDREA;
GADDUCCI, FABIO;
MELGRATTI, HERNAN;
MONTANARI, UGO

Publication type:

Article

CATEGORICAL STRUCTURES FOR TYPE THEORY IN UNIVALENT FOUNDATIONS.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:18)2018

By:

AHRENS, BENEDIKT;
LUMSDAINE, PETER LEFANU;
VOEVODSKY, VLADIMIR

Publication type:

Article

TREES FROM FUNCTIONS AS PROCESSES.

Published in:

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

By:

SANGIORGI, DAVIDE;
XIAN XU

Publication type:

Article

ON INTERPOLATION AND SYMBOL ELIMINATION IN THEORY EXTENSIONS.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:23)2018

By:

SOFRONIE-STOKKERMANS, VIORICA

Publication type:

Article

A GALOIS CONNECTION BETWEEN TURING JUMPS AND LIMITS.

Published in:

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

By:

BRATTKA, VASCO

Publication type:

Article

A TOPOLOGICAL INTERPRETATION OF THREE LEIBNIZIAN PRINCIPLES WITHIN THE FUNCTIONAL EXTENSIONS.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:5)2018

By:

FORTI, MARCO

Publication type:

Article

INHABITATION FOR NON-IDEMPOTENT INTERSECTION TYPES.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1

By:

BUCCIARELLI, ANTONIO;
KESNER, DELIA;
DELLA ROCCA, SIMONA RONCHI

Publication type:

Article

DEFINING RECURSIVE PREDICATES IN GRAPH ORDERS.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:21)2018

By:

THINNIYAM, RAMANATHAN S.

Publication type:

Article

OLOGISMS

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:12)2018

By:

PAGNAN, RUGGERO

Publication type:

Article

INFINITE AND BI-INFINITE WORDS WITH DECIDABLE MONADIC THEORIES.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:9)2018

By:

KUSKE, DIETRICH;
LIU, JIAMOU;
MOSKVINA, ANASTASIA

Publication type:

Article

FREE COMPLETE WASSERSTEIN ALGEBRAS.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:19)2018

By:

MARDARE, RADU;
PANANGADEN, PRAKASH;
PLOTKIN, GORDON D.

Publication type:

Article

THE RECURSION HIERARCHY FOR PCF IS STRICT.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:8)2018

By:

LONGLEY, JOHN

Publication type:

Article

COALGEBRAIC INFINITE TRACES AND KLEISLI SIMULATIONS.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:15)2018

By:

NATSUKI URABE;
ICHIRO HASUO

Publication type:

Article

UNIVERSAL CONSTRUCTIONS FOR (CO)RELATIONS: CATEGORIES, MONOIDAL CATEGORIES, AND PROPS.

Published in:

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

By:

FONG, BRENDAN;
ZANASI, FABIO

Publication type:

Article

EQUATIONAL REASONINGS IN WIRELESS NETWORK GOSSIP PROTOCOLS.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:24)2018

By:

LANOTTE, RUGGERO;
MERRO, MASSIMO;
TINI, SIMONE

Publication type:

Article

A CATEGORICAL FOUNDATION FOR STRUCTURED REVERSIBLE FLOWCHART LANGUAGES: SOUNDNESS AND ADEQUACY.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:16)2018

By:

GLÜCK, ROBERT;
KAARSGAARD, ROBIN

Publication type:

Article

THE COVERING PROBLEM.

Published in:

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

By:

PLACE, THOMAS;
ZEITOUN, MARC

Publication type:

Article

RELATIONAL GRAPH MODELS AT WORK.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 3, p. 1, doi. 10.23638/LMCS-14(3:2)2018

By:

BREUVART, FLAVIEN;
MANZONETTO, GIULIO;
RUOPPOLO, DOMENICO

Publication type:

Article

THE INTUITIONISTIC TEMPORAL LOGIC OF DYNAMICAL SYSTEMS.

Published in:

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

By:

FERNÁNDEZ-DUQUE, DAVID

Publication type:

Article