PROVING SOUNDNESS OF EXTENSIONAL NORMAL-FORM BISIMILARITIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(1:31)2019
- By:
- Publication type:
- Article
Works matching IS 18605974 AND DT 2019 AND VI 15 AND IP 2
Results: 5
1
2
CANONICAL MODELS AND THE COMPLEXITY OF MODAL TEAM LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:2)2019
- By:
- Publication type:
- Article
3
STREAMABILITY OF NESTED WORD TRANSDUCTIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:1)2019
- By:
- Publication type:
- Article
4
GENERALISED MERMIN-TYPE NON-LOCALITY ARGUMENTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:3)2019
- By:
- Publication type:
- Article
5
VALIDITY AND ENTAILMENT IN MODAL AND PROPOSITIONAL DEPENDENCE LOGICS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:4)2019
- By:
- Publication type:
- Article