Works matching IS 18605974 AND DT 2018 AND VI 14 AND IP 2
1
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:9)2018
- ADAMEK, JIŘÍ;
- MILIUS, STEFAN;
- URBAT, HENNING
- Article
2
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:10)2018
- ZHAO DONGSHENG;
- XU LUOSHAN
- Article
3
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:12)2018
- Article
4
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:13)2018
- BODIRSKY, MANUEL;
- MOTTET, ANTOINE
- Article
5
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:11)2018
- PAULY, ARNO;
- FOUCHÉ, WILLEM;
- DAVIE, GEORGE
- Article