Works matching IS 18605974 AND DT 2021 AND VI 17 AND IP 2

Results: 25

ENCODING MANY-VALUED LOGIC IN λ-CALCULUS.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.46298/LMCS-17(2:25)2021

By:

DE VRIES, FER-JAN

Publication type:

Article

PRESENTABLE SIGNATURES AND INITIAL SEMANTICS.

Published in:

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

By:

AHRENS, BENEDIKT;
HIRSCHOWITZ, ANDRÉ;
LAFONT, AMBROISE;
MAGGESI, MARCO

Publication type:

Article

COALGEBRAIC SEMANTICS FOR PROBABILISTIC LOGIC PROGRAMMING.

Published in:

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

By:

TAO GU;
ZANASI, FABIO

Publication type:

Article

ALGEBRAIC LANGUAGE THEORY FOR EILENBERG-MOORE ALGEBRAS.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:6)2021

By:

BLUMENSATH, ACHIM

Publication type:

Article

PREDICATIVE THEORIES OF CONTINUOUS LATTICES.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:22)2021

By:

TATSUJI KAWAI

Publication type:

Article

SUPERPOSITION FOR LAMBDA-FREE HIGHER-ORDER LOGIC.

Published in:

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

By:

BENTKAMP, ALEXANDER;
BLANCHETTE, JASMIN;
CRUANES, SIMON;
WALDMANN, UWE

Publication type:

Article

FAILURE TRACE SEMANTICS FOR A PROCESS ALGEBRA WITH TIME-OUTS.

Published in:

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

By:

VAN GLABBEEK, ROB

Publication type:

Article

INTERFACE MODELING FOR QUALITY AND RESOURCE MANAGEMENT.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:19)2021

By:

HENDRIKS, MARTIJN;
GEILEN, MARC;
GOOSSENS, KEES;
DE JONG, ROB;
BASTEN, TWAN

Publication type:

Article

CONSTRUCTING HIGHER INDUCTIVE TYPES AS GROUPOID QUOTIENTS.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:8)2021

By:

VELTRI, NICCOLÒ;
VAN DER WEIDE, NIELS

Publication type:

Article

DISCOVERING EPASSPORT VULNERABILITIES USING BISIMILARITY.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:24)2021

By:

HORNE, ROSS;
MAUW, SJOUKE

Publication type:

Article

THEORIES OF REAL ADDITION WITH AND WITHOUT A PREDICATE FOR INTEGERS.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:18)2021

By:

BÈS, ALEXIS;
CHOFFRUT, CHRISTIAN

Publication type:

Article

STAR GAMES AND HYDRAS.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:20)2021

By:

ENDRULLIS, JÖRG;
KLOP, JAN WILLEM;
OVERBEEK, ROY

Publication type:

Article

DRAT AND PROPAGATION REDUNDANCY PROOFS WITHOUT NEW VARIABLES.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:12)2021

By:

BUSS, SAM;
THAPEN, NEIL

Publication type:

Article

PARTIALLY ORDERED AUTOMATA AND PIECEWISE TESTABILITY.

Published in:

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

By:

MASOPUST, TOMÁŠ;
KRÖTZSCH, MARKUS

Publication type:

Article

DIRECT SPECTRA OF BISHOP SPACES AND THEIR LIMITS.

Published in:

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

By:

PETRAKIS, IOSIF

Publication type:

Article

LNL-FPC: THE LINEAR/NON-LINEAR FIXPOINT CALCULUS.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:9)2021

By:

LINDENHOVIUS, BERT;
MISLOVE, MICHAEL;
ZAMDZHIEV, VLADIMIR

Publication type:

Article

A REALIZABILITY SEMANTICS FOR INDUCTIVE FORMAL TOPOLOGIES, CHURCH'S THESIS AND AXIOM OF CHOICE.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:21)2021

By:

MAIETTI, MARIA EMILIA;
MASCHIO, SAMUELE;
RATHJEN, MICHAEL

Publication type:

Article

COMPUTABLE ANALYSIS AND NOTIONS OF CONTINUITY IN COQ.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:16)2021

By:

STEINBERG, FLORIAN;
THÉRY, LAURENT;
THIES, HOLGER

Publication type:

Article

LOGIC FOR EXACT REAL ARITHMETIC.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:7)2021

By:

SCHWICHTENBERG, HELMUT;
WIESNET, FRANZISKUS

Publication type:

Article

PARAMETRIC UPDATES IN PARAMETRIC TIMED AUTOMATA.

Published in:

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

By:

ANDRÉ, ÉTIENNE;
LIME, DIDIER;
RAMPARISON, MATHIAS

Publication type:

Article

ALGEBRAIC COCOMPLETENESS AND FINITARY FUNCTORS.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:23)2021

By:

ADÁMEK, JIŘÍ

Publication type:

Article

SCULPTURES IN CONCURRENCY.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:5)2021

By:

FAHRENBERG, ULI;
JOHANSEN, CHRISTIAN;
TROTTER, CHRISTOPHER A.;
ZIEMIAŃSKI, KRZYSZTOF

Publication type:

Article

DECIDABILITY FOR ENTAILMENTS OF SYMBOLIC HEAPS WITH ARRAYS.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:15)2021

By:

DAISUKE KIMURA;
MAKOTO TATSUTA

Publication type:

Article

REACHABILITY SWITCHING GAMES.

Published in:

Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:10)2021

By:

FEARNLEY, JOHN;
GAIRING, MARTIN;
MNICH, MATTHIAS;
SAVANI, RAHUL

Publication type:

Article

SEMIPULLBACKS OF LABELLED MARKOV PROCESSES.

Published in:

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

By:

PACHL, JAN;
TERRAF, PEDRO SÁNCHEZ

Publication type:

Article