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:1)2018
- RÖSNICK-NEUGEBAUER, CARSTEN
- Article
2
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:3)2018
- Article
3
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:6)2018
- ZHIWEI ZOU;
- QINGGUO LI;
- WENG KIN HO
- Article
4
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:5)2018
- KÖNIG, HARALD;
- WOLTER, UWE
- Article
5
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:2)2018
- ΜΙΟ, ΜΑΤΤΕΟ;
- SKRZYPCZAK, MICHAL;
- MICHALEWSKI, HENRYK
- Article
6
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:4)2018
- KOPCZYNSKI, ERYK;
- TAN, TONY
- Article
7
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:8)2018
- AKSHAY, S.;
- GASTIN, PAUL;
- KRISHNA, SHANKARA NARAYANAN
- Article
8
- 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
9
- 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
10
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:12)2018
- Article
11
- 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
12
- 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