Zobrazeno 1 - 10
of 288
pro vyhledávání: '"Fioravanti, F."'
We present a program synthesis method based on unfold/fold transformation rules which can be used for deriving terminating definite logic programs from formulas of the Weak Monadic Second Order theory of one successor (WS1S). This synthesis method ca
Externí odkaz:
http://arxiv.org/abs/cs/0311043
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.
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:
Giorgino, M., Morelli, M., Massiah, V., Doris, M., Folcia, M., Tognoni, R., Suriano, S., Gianturco, P., Grassi, L., Renga, F., Macchi, M., Antonietti, A., Anselmi, J., Costanza, S., Rocco di Torrepadula, I., Coppola, M., Casale, G., Fioravanti, F.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3731::9f7520089faaf7b0b8c1f456bbaef441
http://hdl.handle.net/11311/1165825
http://hdl.handle.net/11311/1165825