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
Works matching IS 18605974 AND DT 2020 AND VI 16 AND IP 3
Results: 14
1
2
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
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
13
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
14
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