Výsledky vyhledávání

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.

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.

Well-definedness of streams by termination

Autor: Zantema, H., Treinen, R.

Publikováno v: Rewriting Techniques and Applications ISBN: 9783642023477
RTA
Rewriting Techniques and Applications (20th International Conference, RTA 2009, Brasília, Brazil, June 29-July 1, 2009, Proceedings), 164-178
STARTPAGE=164;ENDPAGE=178;TITLE=Rewriting Techniques and Applications (20th International Conference, RTA 2009, Brasília, Brazil, June 29-July 1, 2009, Proceedings)
Treinen, R. (ed.), Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasília, Brazil, June 29-July 1, 2009 Proceedings, 164-178. Berlin : Springer
STARTPAGE=164;ENDPAGE=178;ISSN=0302-9743;TITLE=Treinen, R. (ed.), Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasília, Brazil, June 29-July 1, 2009 Proceedings
Treinen, R. (ed.), Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasília, Brazil, June 29-July 1, 2009 Proceedings, pp. 164-178

Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream specification to a TRS in such a way that termination of the resulting TRS

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e2b9a181579ae9aa7cb33fc5db658ea
https://hdl.handle.net/2066/75552

Zobrazit plný text záznamu

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.

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.

Comparing Böhm-Like Trees

Autor: Ketema, J., Treinen, R.

Publikováno v: Rewriting Techniques and Applications: 20th International Conference, RTA 2009, 239-254
STARTPAGE=239;ENDPAGE=254;TITLE=Rewriting Techniques and Applications: 20th International Conference, RTA 2009
Rewriting Techniques and Applications ISBN: 9783642023477
RTA

Extending the infinitary rewriting definition of Böhm-like trees to infinitary Combinatory Reduction Systems (iCRSs), we show that each Böhm-like tree defined by means of infinitary rewriting can also be defined by means of a direct approximant fun

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::57104656e5411bf87eceffea2849ff97
https://research.utwente.nl/en/publications/cefb885e-b96b-4263-aeab-d7aa6f36a5c1