Found: 14
Select item for more details and to access through your institution.
ON THE EXPRESSIVE POWER OF HIGHER-ORDER PUSHDOWN SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:11)2020
- By:
- Publication type:
- Article
A LIMITATION ON THE KPT INTERPOLATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:9)2020
- By:
- Publication type:
- Article
DIRECTED HOMOTOPY IN NON-POSITIVELY CURVED SPACES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:4)2020
- By:
- Publication type:
- Article
COMPILING WITH CLASSICAL CONNECTIVES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:13)2020
- By:
- Publication type:
- Article
THE SIERPINSKI OBJECT IN THE SCOTT REALIZABILITY TOPOS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:12)2020
- By:
- Publication type:
- Article
COMBINATORIAL CONVERSION AND MOMENT BISIMULATION FOR STOCHASTIC REWRITING SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:3)2020
- By:
- Publication type:
- Article
FIXED POINT COMBINATORS AS FIXED POINTS OF HIGHER-ORDER FIXED POINT GENERATORS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:7)2020
- By:
- Publication type:
- Article
REVISITING CALL-BY-VALUE BÖHM TREES IN LIGHT OF THEIR TAYLOR EXPANSION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:6)2020
- By:
- Publication type:
- Article
RULE ALGEBRAS FOR ADHESIVE CATEGORIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:2)2020
- By:
- Publication type:
- Article
PLAYING WITH REPETITIONS IN DATA WORDS USING ENERGY GAMES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:1)2020
- By:
- Publication type:
- Article
ROOTED DIVERGENCE-PRESERVING BRANCHING BISIMILARITY IS A CONGRUENCE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:14)2020
- By:
- Publication type:
- Article
INTERPOLATING BETWEEN CHOICES FOR THE APPROXIMATE INTERMEDIATE VALUE THEOREM.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:5)2020
- By:
- Publication type:
- Article
CONSTRUCTIVE CANONICITY OF INDUCTIVE INEQUALITIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:8)2020
- By:
- Publication type:
- Article
DUAL-CONTEXT CALCULI FOR MODAL LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:10)2020
- By:
- Publication type:
- Article