Zobrazeno 1 - 10
of 23
pro vyhledávání: '"LIQAT, U."'
Autor:
LIQAT, U.1 umer.liqat@imdea.org, BANKOVIĆ, Z.2 zorana.bankovic@imdea.org, LOPEZ-GARCIA, P.3 pedro.lopez@imdea.org, HERMENEGILDO, M. V.1 manuel.hermenegildo@imdea.org
Publikováno v:
Logic Journal of the IGPL. Dec2017, Vol. 25 Issue 6, p1006-1019. 14p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Liqat, U., Georgiou, K., Kerrison, S., Lopez-Garcia, P., Gallagher, John P., Hermenegildo, M. V., Eder, K.
Publikováno v:
Foundational & Practical Aspects of Resource Analysis (9783319465586); 2016, p81-100, 20p
Autor:
Haemmerlé, R., López-García, P., Liqat, U., Klemen, M., Gallagher, J. P., Hermenegildo, M. V.
Publikováno v:
Functional & Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings; 2016, p163-180, 18p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Theory & Practice of Logic Programming; Mar2021, Vol. 21 Issue 2, p291-291, 1p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.