Certification of proving termination of term rewriting by matrix interpretations

Autor: Koprowski, A., Zantema, H., Geffert, V., Karhumaki, J.

Publikováno v: Geffert, V.; Karhumaki, J. (ed.), SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings, 328-339. Berlin : Springer
STARTPAGE=328;ENDPAGE=339;ISSN=0302-9743;TITLE=Geffert, V.; Karhumaki, J. (ed.), SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
Geffert, V.; Karhumaki, J. (ed.), SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings, pp. 328-339

Contains fulltext : 71920.pdf (Author’s version preprint ) (Open Access) 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008., 19 januari 2008

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::377303c60b7cd784aed3c5f98bdce7bc
http://hdl.handle.net/2066/71920

Squeezing the infinite into the finite: Handling the OT candidate set with Finite State technology

Autor: Biro, Tamas, YliJyra, A, Karttunen, L, Karhumaki, J

Publikováno v: Finite-State Methods and Natural Language Processing, 21-31
STARTPAGE=21;ENDPAGE=31;TITLE=Finite-State Methods and Natural Language Processing

Finite State approaches to Optimality Theory have had two goals. The earlier and less ambitious one was to compute the optimal output by compiling a finite state automaton for each underlying representation. Newer approaches aimed at realizing the OT

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::e5373350c9a56227230490405ccae9e8
https://research.rug.nl/en/publications/2c588a47-9553-4feb-9cd7-62c67fb0b6ac

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.