Works matching IS 18605974 AND DT 2019 AND VI 15 AND IP 3

Results: 32

DEFINABILITY AND INTERPOLATION WITHIN DECIDABLE FIXPOINT LOGICS.

Published in:

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

By:

BENEDIKT, MICHAEL;
BOURHIS, PIERRE;
BOOM, MICHAEL VANDEN

Publication type:

Article

COMPANIONS, CODENSITY AND CAUSALITY

Published in:

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

By:

POUS, DAMIEN;
ROT, JURRIAAN

Publication type:

Article

REGULAR TREE LANGUAGES IN LOW LEVELS OF THE WADGE HIERARCHY.

Published in:

Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 3, p. 1

By:

BOJANCZYK, MIKO LAJ;
CAVALLARI, FILIPPO;
PLACE, THOMAS;
SKRZYPCZAK, MICHAL

Publication type:

Article

BOUNDED QUANTIFIER INSTANTIATION FOR CHECKING INDUCTIVE INVARIANTS.

Published in:

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

By:

FELDMAN, YOTAM M. Y.;
PADON, ODED;
IMMERMAN, NEIL;
SAGIV, MOOLY;
SHOHAM, SHARON

Publication type:

Article

INTERACTION GRAPHS: EXPONENTIALS.

Published in:

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

By:

SEILLER, THOMAS

Publication type:

Article

QUANTITATIVE AUTOMATA UNDER PROBABILISTIC SEMANTICS.

Published in:

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

By:

CHATTERJEE, KRISHNENDU;
HENZINGER, THOMAS A.;
OTOP, JAN

Publication type:

Article

A FORGOTTEN THEORY OF PROOFS?

Published in:

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

By:

Zurich, ETH

Publication type:

Article

ON NONCOMMUTATIVE EXTENSIONS OF LINEAR LOGIC.

Published in:

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

By:

SLAVNOV, SERGEY

Publication type:

Article

A CATEGORICAL SEMANTICS FOR CAUSAL STRUCTURE.

Published in:

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

By:

KISSINGER, ALEKS;
UIJLEN, SANDER

Publication type:

Article

THE COMPLEXITY OF FLAT FREEZE LTL.

Published in:

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

By:

BOLLIG, BENEDIKT;
QUAAS, KARIN;
SANGNIER, ARNAUD

Publication type:

Article

SUBSPACE-INVARIANT AC<sup>0</sup> FORMULAS.

Published in:

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

By:

ROSSMAN, BENJAMIN

Publication type:

Article

PARITY GAMES WITH WEIGHTS.

Published in:

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

By:

SCHEWE, SVEN;
WEINERT, ALEXANDER;
ZIMMERMANN, MARTIN

Publication type:

Article

THE DATA COMPLEXITY OF ONTOLOGY-MEDIATED QUERIES WITH CLOSED PREDICATES.

Published in:

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

By:

LUTZ, CARSTEN;
SEYLAN, İNANÇ;
WOLTER, FRANK

Publication type:

Article

EXPLICIT INDUCTION IS NOT EQUIVALENT TO CYCLIC PROOFS FOR CLASSICAL LOGIC WITH INDUCTIVE DEFINITIONS.

Published in:

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

By:

BERARDI, STEFANO;
MAKOTO TATSUTA

Publication type:

Article

HIGHER-DIMENSIONAL AUTOMATA MODELING SHARED-VARIABLE SYSTEMS.

Published in:

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

By:

KAHL, THOMAS

Publication type:

Article

ALTERNATING, PRIVATE ALTERNATING, AND QUANTUM ALTERNATING REALTIME AUTOMATA.

Published in:

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

By:

DEMİRCİ, GÖKALP;
HIRVENSALO, MIKA;
REINHARDT, KLAUS;
CEM SAY, A. C.;
YAKARYILMAZ, ABUZER

Publication type:

Article

APPROXIMABILITY IN THE GPAC.

Published in:

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

By:

POCAS, DIOGO;
ZUCKER, JEFFERY

Publication type:

Article

NASH EQUILIBRIUM AND BISIMULATION INVARIANCE.

Published in:

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

By:

GUTIERREZ, JULIAN;
HARRENSTEIN, PAUL;
PERELLI, GIUSEPPE;
WOOLDRIDGE, MICHAEL

Publication type:

Article

DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS.

Published in:

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

By:

DURIER, ADRIEN;
HIRSCHKOFF, DANIEL;
SANGIORGI, DAVIDE

Publication type:

Article

GUARDED AND UNGUARDED ITERATION FOR GENERALIZED PROCESSES.

Published in:

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

By:

GONCHAROV, SERGEY;
SCHRÖDER, LUTZ;
RAUCH, CHRISTOPH;
PIRÓG, MACIEJ

Publication type:

Article

LOGICAL PROPERTIES OF RANDOM GRAPHS FROM SMALL ADDABLE CLASSES.

Published in:

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

By:

DAWAR, ANUJ;
KOPCZYŃSKI, ERYK

Publication type:

Article

ABSTRACT COMPLETION, FORMALIZED.

Published in:

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

By:

NAO HIROKAWA;
MIDDELDORP, AART;
STERNAGEL, CHRISTIAN;
WINKLER, SARAH

Publication type:

Article

NORMALIZING THE TAYLOR EXPANSION OF NON-DETERMINISTIC λ-TERMS, VIA PARALLEL REDUCTION OF RESOURCE VECTORS.

Published in:

Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 3, p. 1

By:

VAUX, LIONEL

Publication type:

Article

COHERENCE FOR FROBENIUS PSEUDOMONOIDS AND THE GEOMETRY OF LINEAR PROOFS.

Published in:

Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 3, p. 1

By:

DUNN, LAWRENCE;
VICARY, JAMIE

Publication type:

Article

THE PARAMETERIZED SPACE COMPLEXITY OF MODEL-CHECKING BOUNDED VARIABLE FIRST-ORDER LOGIC.

Published in:

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

By:

YIJIA CHEN;
ELBERFELD, MICHAEL;
MÜLLER, MORITZ

Publication type:

Article

QUERY LEARNING OF DERIVED ω-TREE LANGUAGES IN POLYNOMIAL TIME.

Published in:

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

By:

ANGLUIN, DANA;
ANTONOPOULOS, TIMOS;
FISMAN, DANA

Publication type:

Article

GAME CHARACTERIZATIONS AND LOWER CONES IN THE WEIHRAUCH DEGREES

Published in:

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

By:

NOBREGA, HUGO;
PAULY, ARNO

Publication type:

Article

CONTROLLING A POPULATION.

Published in:

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

By:

BERTRAND, NATHALIE;
DEWASKAR, MIHEER;
GENEST, BLAISE;
GIMBERT, HUGO;
GODBOLE, ADWAIT AMIT

Publication type:

Article

ON THE SUCCINCTNESS OF ATOMS OF DEPENDENCY.

Published in:

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

By:

LÜCK, MARTIN;
VILANDER, MIIKKA

Publication type:

Article

AN EFFICIENT ALGORITHM TO DECIDE PERIODICITY OF b-RECOGNISABLE SETS USING LSDF CONVENTION.

Published in:

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

By:

MARSAULT, VICTOR

Publication type:

Article

CAPTURING LOGARITHMIC SPACE AND POLYNOMIAL TIME ON CHORDAL CLAW-FREE GRAPHS.

Published in:

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

By:

GRUSSIEN, BERIT

Publication type:

Article

ELEMENTARY QUOTIENT COMPLETIONS, CHURCH'S THESIS, AND PARTITIONED ASSEMBLIES.

Published in:

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

By:

MAIETTI, MARIA EMILIA;
PASQUALI, FABIO;
ROSOLINI, GIUSEPPE

Publication type:

Article