Zobrazeno 1 - 10
of 112
pro vyhledávání: '"Geffert, V."'
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.
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:
Koprowski, A., Zantema, H., Geffert, V., Karhumäki, J., Bertoni, A., Preneel, B., Návrat, P., Bieliková, M.
Publikováno v:
SOFSEM 2008 : Theory and Practice of Computer Science (Proceedings 34th Conference, Nový Smokovec, Slovakia, January 19-25, 2008), 328-339
STARTPAGE=328;ENDPAGE=339;TITLE=SOFSEM 2008 : Theory and Practice of Computer Science (Proceedings 34th Conference, Nový Smokovec, Slovakia, January 19-25, 2008)
SOFSEM 2008: Theory and Practice of Computer Science ISBN: 9783540775652
SOFSEM
STARTPAGE=328;ENDPAGE=339;TITLE=SOFSEM 2008 : Theory and Practice of Computer Science (Proceedings 34th Conference, Nový Smokovec, Slovakia, January 19-25, 2008)
SOFSEM 2008: Theory and Practice of Computer Science ISBN: 9783540775652
SOFSEM
We develop a Coq formalization of the matrix interpretation method, which is a recently developed, powerful approach to proving termination of term rewriting. Our formalization is a contribution to the CoLoR project and allows to automatically certif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ba90a8607ee9a75862b2cbd00e3f6bd0
https://doi.org/10.1007/978-3-540-77566-9_28
https://doi.org/10.1007/978-3-540-77566-9_28
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:
Spillner, A., Wolff, A., Geffert, V., Karhumäki, J., Bertoni, A., Preneel, B., Návrat, P., Bieliková, M.
Publikováno v:
SOFSEM 2008: Theory and Practice of Computer Science ISBN: 9783540775652
SOFSEM
SOFSEM 2008 : Theory and Practice of Computer Science (Proceedings 34th Conference, Nový Smokovec, Slovakia, January 19-25, 2008), 473-484
STARTPAGE=473;ENDPAGE=484;TITLE=SOFSEM 2008 : Theory and Practice of Computer Science (Proceedings 34th Conference, Nový Smokovec, Slovakia, January 19-25, 2008)
SOFSEM
SOFSEM 2008 : Theory and Practice of Computer Science (Proceedings 34th Conference, Nový Smokovec, Slovakia, January 19-25, 2008), 473-484
STARTPAGE=473;ENDPAGE=484;TITLE=SOFSEM 2008 : Theory and Practice of Computer Science (Proceedings 34th Conference, Nový Smokovec, Slovakia, January 19-25, 2008)
In John Tantalo's on-line game Planarity the player is given a non-plane straight-line drawing of a planar graph. The aim is to make the drawing plane as quickly as possible by moving vertices. Pach and Tardos have posed a related problem: can any st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::057c271f7bb54ee504a2819e31ebb944
https://doi.org/10.1007/978-3-540-77566-9_41
https://doi.org/10.1007/978-3-540-77566-9_41
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:
Franceschini, G., Geffert, V.
Publikováno v:
Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science, 2003; 2003, p242-250, 9p
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.