Works matching IS 18605974 AND DT 2022 AND VI 18 AND IP 3
Results: 37
MINIMALITY NOTIONS VIA FACTORIZATION SYSTEMS AND EXAMPLES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:31)2022
- By:
- Publication type:
- Article
DISTRIBUTED ASYNCHRONOUS GAMES WITH CAUSAL MEMORY ARE UNDECIDABLE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:30)2022
- By:
- Publication type:
- Article
A FUNCTIONAL ABSTRACTION OF TYPED INVOCATION CONTEXTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:34)2022
- By:
- Publication type:
- Article
DECIDING ALL BEHAVIORAL EQUIVALENCES AT ONCE: A GAME FOR LINEAR-TIME–BRANCHING-TIME SPECTROSCOPY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:19)2022
- By:
- Publication type:
- Article
SMALL PROMISE CSPS THAT REDUCE TO LARGE CSPS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:25)2022
- By:
- Publication type:
- Article
TIMED AUTOMATA ROBUSTNESS ANALYSIS VIA MODEL CHECKING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:12)2022
- By:
- Publication type:
- Article
INFERENCE SYSTEMS WITH CORULES FOR COMBINED SAFETY AND LIVENESS PROPERTIES OF BINARY SESSION TYPES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:27)2022
- By:
- Publication type:
- Article
ADDRESSING MACHINES AS MODELS OF λ-CALCULUS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:10)2022
- By:
- Publication type:
- Article
MINIMIZATION AND CANONIZATION OF GFG TRANSITION-BASED AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:16)2022
- By:
- Publication type:
- Article
INSTANCE REDUCIBILITY AND WEIHRAUCH DEGREES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:20)2022
- By:
- Publication type:
- Article
A COALGEBRAIC APPROACH TO DUALITIES FOR NEIGHBORHOOD FRAMES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:4)2022
- By:
- Publication type:
- Article
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:11)2022
- By:
- Publication type:
- Article
TYPABILITY AND TYPE INFERENCE IN ATOMIC POLYMORPHISM.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:22)2022
- By:
- Publication type:
- Article
WHY DOES PROPOSITIONAL QUANTIFICATION MAKE MODAL AND TEMPORAL LOGICS ON TREES ROBUSTLY HARD?
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:5)2022
- By:
- Publication type:
- Article
THE THEORY OF UNIVERSAL GRAPHS FOR INFINITE DURATION GAMES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:29)2022
- By:
- Publication type:
- Article
POINT-FREE CONSTRUCTION OF REAL EXPONENTIATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:15)2022
- By:
- Publication type:
- Article
A CATEGORICAL FRAMEWORK FOR CONGRUENCE OF APPLICATIVE BISIMILARITY IN HIGHER-ORDER LANGUAGES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:37)2022
- By:
- Publication type:
- Article
UNIFORM ENVELOPES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:8)2022
- By:
- Publication type:
- Article
LIMITS OF REAL NUMBERS IN THE BINARY SIGNED DIGIT REPRESENTATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:24)2022
- By:
- Publication type:
- Article
TAMENESS AND THE POWER OF PROGRAMS OVER MONOIDS IN DA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:14)2022
- By:
- Publication type:
- Article
COMPUTABILITY OF DATA-WORD TRANSDUCTIONS OVER DIFFERENT DATA DOMAINS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:9)2022
- By:
- Publication type:
- Article
COUNTEREXAMPLE-GUIDED PROPHECY FOR MODEL CHECKING MODULO THE THEORY OF ARRAYS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:26)2022
- By:
- Publication type:
- Article
MODAL MEET-IMPLICATION LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:1)2022
- By:
- Publication type:
- Article
MODULES OVER MONADS AND OPERATIONAL SEMANTICS (EXPANDED VERSION).
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:3)2022
- By:
- Publication type:
- Article
QUANTUM CONTROL IN THE UNITARY SPHERE: LAMBDA-S<sub>1 </sub>AND ITS CATEGORICAL MODEL.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:32)2022
- By:
- Publication type:
- Article
MODULARISING VERIFICATION OF DURABLE OPACITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:7)2022
- By:
- Publication type:
- Article
STRONGLY NORMALIZING HIGHER-ORDER RELATIONAL QUERIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:23)2022
- By:
- Publication type:
- Article
RELATING FUNCTIONAL AND IMPERATIVE SESSION TYPES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:33)2022
- By:
- Publication type:
- Article
ONE-CLOCK PRICED TIMED GAMES WITH NEGATIVE WEIGHTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:17)2022
- By:
- Publication type:
- Article
DIFFERENTIALS AND DISTANCES IN PROBABILISTIC COHERENCE SPACES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:2)2022
- By:
- Publication type:
- Article
LINEAR DEPENDENT TYPE THEORY FOR QUANTUM PROGRAMMING LANGUAGES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:28)2022
- By:
- Publication type:
- Article
FUSIBLE NUMBERS AND PEANO ARITHMETIC .
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:6)2022
- By:
- Publication type:
- Article
A LOWER BOUND OF THE NUMBER OF REWRITE RULES OBTAINED BY HOMOLOGICAL METHODS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:36)2022
- By:
- Publication type:
- Article
MOSS’ LOGIC FOR ORDERED COALGEBRAS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:18)2022
- By:
- Publication type:
- Article
COMPARATOR AUTOMATA IN QUANTITATIVE VERIFICATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:13)2022
- By:
- Publication type:
- Article
ON SETS OF TERMS HAVING A GIVEN INTERSECTION TYPE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:35)2022
- By:
- Publication type:
- Article
THE THIRD TRICK.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:21)2022
- By:
- Publication type:
- Article