Works matching IS 18605974 AND DT 2021 AND VI 17 AND IP 4
Results: 26
A SEPARATOR THEOREM FOR HYPERGRAPHS AND A CSP-SAT ALGORITHM.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:17)2021
- By:
- Publication type:
- Article
STASHING AND PARALLELIZATION PENTAGONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:20)2021
- By:
- Publication type:
- Article
PARAMETRICITY FOR PRIMITIVE NESTED TYPES AND GADTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:23)2021
- By:
- Publication type:
- Article
TIME-FLUID FIELD-BASED COORDINATION THROUGH PROGRAMMABLE DISTRIBUTED SCHEDULERS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:13)2021
- By:
- Publication type:
- Article
A NEW OPERATIONAL REPRESENTATION OF DEPENDENCIES IN EVENT STRUCTURES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:16)2021
- By:
- Publication type:
- Article
A PROBABILISTIC HIGHER-ORDER FIXPOINT LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:15)2021
- By:
- Publication type:
- Article
A theory of transaction parallelism in blockchains.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:10)2021
- By:
- Publication type:
- Article
ADAPTIVE NON-LINEAR PATTERN MATCHING AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:21)2021
- By:
- Publication type:
- Article
EFFICIENT FULL HIGHER-ORDER UNIFICATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:18)2021
- By:
- Publication type:
- Article
TIGHT POLYNOMIAL BOUNDS FOR LOOP PROGRAMS IN POLYNOMIAL SPACE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:7)2021
- By:
- Publication type:
- Article
QUADRATIC WORD EQUATIONS WITH LENGTH CONSTRAINTS, COUNTER SYSTEMS, AND PRESBURGER ARITHMETIC WITH DIVISIBILITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:4)2021
- By:
- Publication type:
- Article
EXPRESSIVE LOGICS FOR COINDUCTIVE PREDICATES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:19)2021
- By:
- Publication type:
- Article
PROBABILISTIC TIMED AUTOMATA WITH ONE CLOCK AND INITIALISED CLOCK-DEPENDENT PROBABILITIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:6)2021
- By:
- Publication type:
- Article
FOUNDATIONS OF REGULAR COINDUCTION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:2)2021
- By:
- Publication type:
- Article
INTERNAL PARAMETRICITY FOR CUBICAL TYPE THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:5)2021
- By:
- Publication type:
- Article
ON SUPERGRAPHS SATISFYING CMSO PROPERTIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:14)2021
- By:
- Publication type:
- Article
CONTROLLING A RANDOM POPULATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:12)2021
- By:
- Publication type:
- Article
DYNAMIC COMPLEXITY OF PARITY EXISTS QUERIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:9)2021
- By:
- Publication type:
- Article
ARCHITECTURES IN PARAMETRIC COMPONENT-BASED SYSTEMS: QUALITATIVE AND QUANTITATIVE MODELLING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:26)2021
- By:
- Publication type:
- Article
AN APPLICATION OF PARALLEL CUT ELIMINATION IN MULTIPLICATIVE LINEAR LOGIC TO THE TAYLOR EXPANSION OF PROOF NETS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:22)2021
- By:
- Publication type:
- Article
A COALGEBRAIC TAKE ON REGULAR AND ω-REGULAR BEHAVIOURS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:24)2021
- By:
- Publication type:
- Article
DAGGER LINEAR LOGIC FOR CATEGORICAL QUANTUM MECHANICS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:8)2021
- By:
- Publication type:
- Article
EXTENSIONAL AND INTENSIONAL MODELS FOR BOUNDED AND UNBOUNDED NONDETERMINISM.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:11)2021
- By:
- Publication type:
- Article
CAUSAL CONSISTENCY FOR REVERSIBLE MULTIPARTY PROTOCOLS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:1)2021
- By:
- Publication type:
- Article
ON HIGHER-ORDER PROBABILISTIC SUBRECURSION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:25)2021
- By:
- Publication type:
- Article
MODAL FUNCTIONAL (\DIALECTICA") INTERPRETATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:3)2021
- By:
- Publication type:
- Article